Software development with Z : a practical approach to formal methods in software engineering
著者
書誌事項
Software development with Z : a practical approach to formal methods in software engineering
(International computer science series)
Addison-Wesley Pub. Co., 1992
大学図書館所蔵 件 / 全14件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Includes bibliographical references (p. 321-324) and index
内容説明・目次
内容説明
This book is a highly practical tutorial guide to the Z specification language and its role in software development. The book illustrates how familiar procedures and decisions can be made precise using mathematics. Beginning with a case study, this book is designed to be as self-contained as possible, taking the reader through the basic concepts in logic and set theory formulating precise ideas about software systems, and combines a formal approach with practical examples of its use in software development.
目次
1. Introduction 2. A Simple Z Specification 3. Sets and Predicates 4. Relations and Functions 5. Schemas and Specifications 6. Data Design 7. Algorithm Design
「Nielsen BookData」 より