Mathematics of software construction
著者
書誌事項
Mathematics of software construction
（Ellis Horwood series in mathematics and its applications）
E. Horwood, 1991
- : pbk
大学図書館所蔵 件 / 全12件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Includes index
内容説明・目次
内容説明
This book looks at the kind of mathematics required in the construction of software - particularly that used in the early stages of design. It provides an introduction to the subject, carefully explaining the need for mathematics in the software development process and showing in clear and simple terms what this mathematics is and how it can be used. The authors use the current Z notation, which is now an industry standard. The ideas and notation that underpin Z are addressed, thus forming a solid basis for the user to move on to more advanced texts at a later stage. Both authors have had considerable experience in this area, and the book anticipates and avoids learning difficulties. An integrated and progressive style is adopted and each new topic is illustrated by relevant examples. The book will provide both experienced programmers and beginners with a thorough insight into the advantages to be gained from using mathematics in software programming.
目次
- why mathematics
- modelling inputs and outputs
- programs as functions
- functional specifications
- the top-down approach
- coping with software update and maintenance
- a real problem from start to finish
- enhanced computational techniques
- programming with relations
- generating programs from specifications
- how to generate correct programs
- some advanced programming problems
- where next?
「Nielsen BookData」 より