Specification of software systems
著者
書誌事項
Specification of software systems
（Graduate texts in computer science）
Springer, c1998
大学図書館所蔵 件 / 全15件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Includes bibliographical references and index
内容説明・目次
内容説明
This book provides an introduction to program specification, illustrating the advantages it confers upon the software development process. Covering all three major specification languages (Larch, VDM, and Z), the book discusses specification in general, the abstraction process, the mathematical tools required, and the main formal methods.
目次
The Role of Specifications.- Specification Activities.- Specification Qualities.- Abstraction.- Formal Systems.- Logic.- Set Theory and Relations.- Algebraic Specifications.- Vienna Development Method.- The Z Notation.- Larch.
「Nielsen BookData」 より
