Formal Description Techniques and Protocol Specification, Testing and Verification de Atsushi Togashi

Formal Description Techniques and Protocol Specification, Testing and Verification: FORTE X / PSTV XVII ’97: IFIP Advances in Information and Communication Technology

Atsushi Togashi

Tadanori Mizuno

Norio Shiratori

Teruo Higashino

en Limba Engleză Paperback – 11 ian 2013

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.

Citește tot Restrânge

Toate formatele și edițiile

	Preț	Express
Paperback (1)	1235^.10 lei 43-57 zile
Springer Us – 11 ian 2013	1235^.10 lei 43-57 zile
Hardback (1)	1243^.40 lei 43-57 zile
Springer – 31 oct 1997	1243^.40 lei 43-57 zile

Din seria IFIP Advances in Information and Communication Technology

20%

Preț: 559^.95 lei
20%

Preț: 746^.71 lei
20%

Preț: 555^.69 lei
20%

Preț: 623^.07 lei
20%

Preț: 623^.39 lei
20%

Preț: 327^.36 lei
Preț: 382^.30 lei
20%

Preț: 323^.23 lei
20%

Preț: 327^.99 lei
20%

Preț: 528^.48 lei
15%

Preț: 527^.06 lei
20%

Preț: 527^.38 lei
20%

Preț: 424^.44 lei
15%

Preț: 624^.01 lei
20%

Preț: 1116^.37 lei
18%

Preț: 909^.08 lei
20%

Preț: 1232^.88 lei
20%

Preț: 689^.95 lei
18%

Preț: 911^.54 lei
15%

Preț: 616^.15 lei
18%

Preț: 1216^.83 lei
15%

Preț: 613^.18 lei
15%

Preț: 611^.74 lei
20%

Preț: 957^.62 lei
20%

Preț: 619^.71 lei
15%

Preț: 616^.45 lei
20%

Preț: 944^.97 lei
20%

Preț: 1231^.59 lei
20%

Preț: 1226^.84 lei
20%

Preț: 616^.05 lei
20%

Preț: 1232^.08 lei
20%

Preț: 952^.00 lei
20%

Preț: 1232^.88 lei
18%

Preț: 1183^.12 lei
15%

Preț: 611^.23 lei
18%

Preț: 911^.54 lei
18%

Preț: 1171^.97 lei
20%

Preț: 1848^.88 lei
15%

Preț: 611^.23 lei
18%

Preț: 914^.70 lei
20%

Preț: 968^.03 lei
20%

Preț: 2110^.89 lei
20%

Preț: 1237^.63 lei
20%

Preț: 634^.64 lei
20%

Preț: 623^.22 lei
20%

Preț: 1235^.90 lei
20%

Preț: 1327^.97 lei
18%

Preț: 1180^.37 lei
20%

Preț: 623^.18 lei

Specificații

ISBN-13: 9781475752601
ISBN-10: 1475752601
Pagini: 568
Ilustrații: XI, 550 p.
Dimensiuni: 155 x 235 x 30 mm
Greutate: 0.79 kg
Ediția:Softcover reprint of the original 1st ed. 1997
Editura: Springer Us
Colecția Springer
Seria IFIP Advances in Information and Communication Technology

Locul publicării:New York, NY, United States

Cuprins

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.