Object-oriented specification case studies
著者
書誌事項
Object-oriented specification case studies
(Prentice Hall object-oriented series)
Prentice Hall, c1994
大学図書館所蔵 件 / 全7件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Includes bibliographical references and index
内容説明・目次
内容説明
Object-orientation and formal methods are widely regarded as two fields with significant potential for influence on the future of software engineering. This book aims to provide an introduction to the rapidly-growing area at the intersection of these fields: formal approaches to system specification using object-oriented techniques.
目次
Specification and Analysis Techniques in Object-Oriented Methods. A Comparative Description of Object-Oriented Specification Languages. Object-Oriented Specification Languages in the Software Life Cycle. The UNIX File System: A MooZ Specification. An Object-Z Specification of a Mobile Phone System. Object-Oriented Specification in VDM+ +. Specifying a Concept Recognition System in Z + OOZE with Examples. Refinement in Fresco. SmallVDM: An Environment for Formal Specification and Prototyping in Smalltalk.
「Nielsen BookData」 より