Logics of specification languages

著者

• Bjørner, D. (Dines)
• Henson, Martin C.

書誌事項

Logics of specification languages

Dines Bjørner, Martin C. Henson editors

（Monographs in theoretical computer science : an EATCS series）

Springer, c2008

注記

Includes bibliographical references and index

内容説明・目次

内容説明

This book presents comprehensive studies on nine specification languages and their logics of reasoning. The editors and authors are authorities on these specification languages and their application. In a unique feature, the book closes with short commentaries on the specification languages written by researchers closely associated with their original development. The book contains extensive references and pointers to future developments.

目次

Preludium.- An Overview.- The Languages.- Abstract State Machines for the Classroom.- The event-B Modelling Method: Concepts and Case Studies.- A Methodological Guide to the CafeOBJ Logic.- Casl - the Common Algebraic Specification Language.- Duration Calculus.- The Logic of the RAISE Specification Language.- The Specification Language TLA+.- The Typed Logic of Partial Functions and the Vienna Development Method.- Z Logic and Its Applications.- Postludium.- Reviews.

「Nielsen BookData」 より

詳細情報

• NII書誌ID(NCID): BA84175372
• ISBN:
  • 9783540741060
• 出版国コード: gw
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Berlin
• ページ数/冊数: xxi, 623 p.
• 大きさ: 24 cm
• 親書誌ID:
  • BA25559724