The spine of software : designing provably correct software--theory and practice or a mathematical introduction to the semantics of computer programs
著者
書誌事項
The spine of software : designing provably correct software--theory and practice or a mathematical introduction to the semantics of computer programs
Wiley, c1987
- タイトル別名
-
Mathematical introduction to the semantics of computer programs
大学図書館所蔵 件 / 全12件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Subtitle: Being a treatise on the mathematical foundations and principles of computer programming for software engineers and those who would be or become such
Includes index
内容説明・目次
内容説明
Robert Baber's original approach to the semantics of computer programs will familiarize software designers and developers with applicable results of research in the theory of proving programs correct. Throughout the book, the mathematical treatment is rigorous. A body of fundamental principles underlying computing science has been developed in recent years: these provide guidelines for the design process, and enable the software engineer to verify systematically and precisely important characteristics of proposed designs. The software engineer is thus in a position to develop error-free programs just as engineers in other fields are able to verify their designs.
目次
- PROLOGUE: Komputema Simio, Computing Monkey of Moc
- Introduction
- THEORY: Basic Semantics of Computer Programs and Programming Constructs
- Proof Rules for the Individual Programming Constructs
- Transfundamental Programming Constructs
- PRACTICE: The Analysis and Verification of Programs: Methods and Examples
- The Construction of Correct Programs
- EPILOGUE: The Practice of Software Engineering Tomorrow.
「Nielsen BookData」 より