Systematic software development using VDM
著者
書誌事項
Systematic software development using VDM
(Prentice-Hall International series in computer science)
Prentice Hall, 1990
2nd ed
大学図書館所蔵 件 / 全7件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Includes bibliographical references (p. 321-322) and indexes
内容説明・目次
内容説明
A practical guide to software development using DVM, a mathematically based technique for formal specification and correctness reasoning. This edition uses BSI (draft) standard VDM notation, emphasizes the formal approach to specification and design and explains formal proofs for data types.
目次
- Logic of propositions
- reasoning about predicates
- functions and operations
- set notation
- composite objects and invariants
- map notation
- sequence notation
- data rectification
- more on data types
- operation decomposition
- a small case study.
「Nielsen BookData」 より