Formal object-oriented specification using Object-Z
著者
書誌事項
Formal object-oriented specification using Object-Z
（Cornerstones of computing）
Macmillan Press
大学図書館所蔵 件 / 全6件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
内容説明・目次
内容説明
This book presents techniques for the precise description of software or systems using the object-oriented formal specification language, Object-Z. It includes numerous and varied case studies to illustrate the techniques and language of object-oriented formal specification and illustrates the key role of formal specification in formal verification and in implementation. Although primarily intended for safety-critical or complex software development, formal specification also has wide application in hardware or general system description.
A practical and rigorous approach to object-oriented formal specification. Introduces Object-Z. Illustrates the key role of formal specification in formal verification by inclusion of example proofs of correctness.
目次
Preface.- Specification and Object Orientation.- Graphical Presentatio of Specifications.- Local vs Central Control.- Distributed and Mediated Message Passing.- Dependency and Information Sharing.- Reliable Behaviour.- Proving Invariant Properties.- Polymorphic Inheritance Hierachies.- Class Union.- Object Containment.- Computational Systems.- Functional Abstraction.- Semantic Issues of Object-Z.- Background Notation.- Glossary of Notation.- Object-Z Concrete Syntax.- Further Reading.
「Nielsen BookData」 より
