Protocol specification, testing, and verification, X : proceedings of the IFIP WG 6.1 Tenth International Symposium on Protocol Specification, Testing, and Verification, Ottawa, Ontario, Canada, 12-15 June, 1990

書誌事項

Protocol specification, testing, and verification, X : proceedings of the IFIP WG 6.1 Tenth International Symposium on Protocol Specification, Testing, and Verification, Ottawa, Ontario, Canada, 12-15 June, 1990

edited by Luigi Logrippo, Robert L. Probert, Hasan Ural

North-Holland , Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1990

大学図書館所蔵 件 / 10

この図書・雑誌をさがす

注記

Includes bibliographies and index

内容説明・目次

内容説明

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」 より

詳細情報

  • NII書誌ID(NCID)
    BA11300531
  • ISBN
    • 0444888101
  • 出版国コード
    ne
  • タイトル言語コード
    eng
  • 本文言語コード
    eng
  • 出版地
    Amsterdam ; Tokyo,New York
  • ページ数/冊数
    xi, 415 p.
  • 大きさ
    23 cm
  • 分類
  • 件名
ページトップへ