A programming approach to formal methods
著者
書誌事項
A programming approach to formal methods
（The McGraw-Hill international series in software engineering）
McGraw-Hill Book Co., c1994
大学図書館所蔵 件 / 全4件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Includes bibliographical references (p. 257) and index
内容説明・目次
内容説明
This comprehensive text is an investigation into formal methods for program specification and verification. It shows how formal notations can assist the process of developing software and in communicating and expressing ideas. These ideas are illustrated using VDM and Pascal. This work demonstrates in clear language how the principles of formal methods can be applied to any software development.
目次
- Software development and quality
- programming language features
- key programming concepts
- simple specifications and rigorous arguments
- reasoning about programs without loops
- induction, recursion and loops
- sets
- records
- MAPS
- sequences
- development from formal specifications
- program design and formal methods
- an example of formal methods
- other formal specification languages
- summary of notation
- hints and solutions to exercises.
「Nielsen BookData」 より
