Formal Description Techniques and Protocol Specification, Testing and Verification

FORTE X / PSTV XVII ’97

AvAtsushi Togashi,Tadanori Mizuno

Häftad, Engelska, 2013

Del i serien IFIP Advances in Information and Communication Technology

2 237 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Fler format och utgåvor

Inbunden

2 304 kr

Beskrivning

FORTE/PSTV '97 addresses Formal Description Techniques (FDTs) applicable to Distributed Systems and Communication Protocols (such as Estelle, LOTOS, SDL, ASN.1, TTCN, Z, Automata, Process Algebra, Logic). The conference is a forum for presentation of the state-of-the-art in theory, application, tools and industrialization of FDTs, and provides an excellent orientation for newcomers.

Produktinformation

Utgivningsdatum:2013-01-11
Mått:155 x 235 x 31 mm
Vikt:850 g
Format:Häftad
Språk:Engelska
Serie:IFIP Advances in Information and Communication Technology
Antal sidor:550
Förlag:Springer-Verlag New York Inc.
ISBN:9781475752601

Utforska kategorier

Elektronik och kommunikationer inom Naturvetenskap och teknik
Systemvetenskap och AI inom Data och IT
Hårdvara inom Data och IT

Innehållsförteckning

1 Specification-based testing of concurrent systems.- 2 Refusal testing for classes of transition systems with inputs and outputs.- 3 A framework for distributed object-oriented testing.- 4 Interoperability test suite derivation for symmetric communication protocols.- 5 A hierarchy of communication models for message sequence charts.- 6 Timing constraints in message sequence chart specifications.- 7 Consistent semantics for ODP information and computational models.- 8 Specifying the ODP trader: an introduction to E-LOTOS.- 9 A computer aided design of a secure registration protocol.- 10 Implementation of distributed systems described with LOTOS multi-rendezvous on bus topology networks.- 11 Disjunction of LOTOS specifications.- 12 A timed automaton model for ET-LOTOS verification.- 13 Automatic checking of aggregation abstractions through state enumeration.- 14 Concept of quantified abstract quotient automaton and its advantage.- 15 Validating protocol composition for progress by parallel step reachability analysis.- 16 An improved search strategy for Lossy channel systems.- 17 A weighted random walk approach for conformance testing of a system specified as communicating finite state machines.- 18 Friendly testing as a conformance relation.- 19 Generalized metric based test selection and coverage measure for communication protocols.- 20 Dynamic priorities for modeling real-time.- 21 On-line timed protocol trace analysis based on uncertain state descriptions.- 22 Algebraic specification through expression transformation.- 23 Modelling digital logic in SDL.- 24 A methodology for the description of system requirements and the derivation of formal specifications.- 25 On the influence of semantic constraints on the code generation from Estelle specifications.- 26 Using a formal description technique to model aspects of a global air traffic telecommunications network.- 27 An experiment in using RT-LOTOS for the formal specification and verification of a distributed scheduling algorithm in a nuclear power plant monitoring system.- 28 Intelligent protocol analyzer with TCP behavior emulation for interoperability testing of TCP/IP protocols.- 29 Eight years of experience in test generation from FDTs using TVEDA.- 30 Self-independent petri nets for distributed systems.- 31 Combining CSP and object-Z: finite or infinite trace semantics?.- 32 Selective mu-calculus: new modal operators for proving properties on reduced transition systems.- 33 On a concurrency calculus for design of mobile telecommunication systems.- Index of contributors.- Keyword index.

Mer från samma författare

Formal Description Techniques and Protocol Specification, Testing and Verification

Teruo Higashino, Norio Shiratori, Tadanori Mizuno, Atsushi Togashi

E-bok

2013

2 862 kr

Formal Description Techniques and Protocol Specification, Testing and Verification : FORTE X / PSTV XVII '97

Atsushi Togashi, Tadanori Mizuno

652 kr

Mer från samma serie

Del 246

Advances in Production Management Systems

Jan Olhager, Fredrik Persson

Häftad, 2010

1 155 kr

Information System Concepts

Eckhard D. Falkenberg, Wolfgang Hesse, Antoni Olive

Inbunden, 1995

2 304 kr

Data Management for the AI Era: Ensuring Reliability and Accountability

Paolo Ceravolo, Sylvio Barbon Junior, Faiza Bukhsh, Maurice Van Keulen, Samira Maghool, Robert Wrembel, Paolo Ceravolo, Sylvio Barbon Junior, Faiza Bukhsh, Maurice Van Keulen, Samira Maghool, Robert Wrembel