Name: Formal Description Techniques and Protocol Specification, Testing and Verification By Atsushi Togashi
SKU: 9780412820601
Price: 203.29 GBP
Availability: InStock

Formal Description Techniques and Protocol Specification, Testing and Verification Summary

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

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.

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.

Additional information

Sku

NPB9780412820601

ISBN 13

9780412820601

ISBN 10

0412820609

Title

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

Author

Atsushi Togashi

Series

IFIP Advances in Information and Communication Technology

Condition

New

Binding type

Hardback

Publisher

Chapman and Hall

Year published

1997-10-31

Number of pages

550

Prizes

N/A

Cover note

Book picture is for illustrative purposes only, actual binding, cover or edition may vary.

Note

This is a new book - be the first to read this copy. With untouched pages and a perfect binding, your brand new copy is ready to be opened for the first time

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

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

Summary

Formal Description Techniques and Protocol Specification, Testing and Verification Summary

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

Table of Contents

Additional information

Customer Reviews - Formal Description Techniques and Protocol Specification, Testing and Verification