Using formal description techniques : an introduction to Estelle, LOTOS and SDL

著者

書誌事項

Using formal description techniques : an introduction to Estelle, LOTOS and SDL

edited by Kenneth J. Turner

（Wiley series in communication and distributed systems）

Wiley, c1993

大学図書館所蔵 件 / 全6件

この図書・雑誌をさがす

注記

Includes bibliographical references (p. 409-416) and indexes

内容説明・目次

内容説明

For the complete beginner, this text has substantial introductory material on formal methods and the three FDTs. This is complemented by guidance on how to develop specifications and implementations using the FDTs. The treatment of the FDTs is deliberately non-mathematical to make the book accessible to a wide readership. The book is illustrated with examples since it is believed that a great deal can be learned from the work of experienced specifiers. The examples can be used to study one FDT or to compare the approaches taken by different FDTs. Although the examples mainly deal with data communications, they illustrate important principles that apply in many other application areas. The examples have been written for readers with little knowledge of data communications. The text is suitable for self-study. It would also be appropriate as a textbook for a practical course on formal methods and languages. The examples in particular would be a source of material for laboratory exercises and projects. An instructor's disk has therefore been prepared as a companion to the book. It contains the ASCII text (less the commentary) of all the complete formal descriptions in the book. Major diagrams that would be useful for teaching are also included on the disk in LATEX or PostScript form as appropriate.

目次

  • INTRODUCING THE FDTs
  • The Context of FDTs
  • Introduction to ESTELLE
  • Introduction to LOTOS
  • Introduction to SDL
  • SPECIFICATION WITH THE FDTs
  • Daemon Game
  • Unreliable Medium
  • Sliding Window Protocol
  • Abracadabra Service
  • Abracadabra Protocol
  • DEVELOPMENT WITH THE FDTs
  • Development with ESTELLE
  • Development with LOTOS
  • Development with SDL
  • Appendices
  • Index.

「Nielsen BookData」 より

関連文献： 1件中  1-1を表示

詳細情報

ページトップへ