The contributions to this book are from researchers and practitioners concerned with the theory and application of formal methods to the specification, testing and verification of protocols for open systems. Being the tenth in a successful series of symposia, a special feature of the book is a number of invited papers on the same theme, ``The First Ten Years, The Next Ten Years''.
Specification and Design . Formalisation of Behavioural and Structural Concepts for Communication Systems (P. King, G. Smith). A Derivation of a Broadcasting Protocol using Sequentially Phased Reasoning (F.A. Stomp). Modelling Flow Control in Estelle (R.L. Tenney). Invited Paper: Protocol Testing: The First Ten Years, The Next Ten Years (D. Sidhu). Testing . A Notation for Specifying Test Selection Criteria (J. Pachl). Approaches Utilizing Segment Overlap to Minimize Test Sequences (M.-S. Chen, Y. Choi, A. Kershenbaum). Towards Execution of TTCN Test Cases (S. Eswara et al.). Testing and Implementation. An Environment for Interactive Design of Communications Architectures (A.A.R. Cockburn et al.). Development of an International Standard for Conformance Testing X.25 DTEs (N.P. Alfano, B. Kanungo). An ASN.1 Encoder/Decoder and its Performance (M. Bilgic and B. Sarikaya). Implementation and Specification. On the Use of Specification Styles for Automated Protocol Implementation from LOTOS to C (P. van Eijk, H. Kremer, M. van Sinderen). A LOTOS Compiler and Process Synchronization Manager (S. Nomura, T. Hasegawa, T. Takizuka). Incremental Specification in LOTOS (H. Ichikawa, K. Yamanaka, J. Kato). Invited Paper: Protocol Verification: The First Ten Years, The Next Ten Years (R.E. Miller). Verification and Design. Decomposition of Functionality: a Correctness-Preserving LOTOS Transformation (R. Langerak). Supervisory Control of Communicating Processes (K. Rudie, W.M. Wonham). Algebraic Techniques . Specification and Verification of Real-Time Systems in ACP (J.F. Groote). Algebraic Description of Mobile Networks: An Example (F. Orava, J. Parrow). Logic Specification . Specifying Communication Services with Temporal Logic (R. Gotzhein). Authentication in Open Systems (E. Snekkenes). Object-Oriented Protocol Specification (R. Duke, G. Rose, A. Lee). Invited Paper: Protocol Specification: The First Ten Years, The Next Ten Years (C.A. Vissers). LOTOS and Verification . Compositional Logic Semantics and LOTOS (A. Fantechi, S. Gnesi, G. Ristori). Compilation and Verification of LOTOS Specifications (H. Garavel, J. Sifakis). From Timed Petri Nets to Timed LOTOS (T. Bolognesi, F. Lucidi, S. Trigila). Epilogue . The First Ten Years, The Next Ten Years (C.H. West).
「Nielsen BookData」 より