Mathematics of software construction
Author(s)
Bibliographic Information
Mathematics of software construction
（Ellis Horwood series in mathematics and its applications）
E. Horwood, 1991
- : pbk
Available at / 12 libraries
-
No Libraries matched.
- Remove all filters.
Note
Includes index
Description and Table of Contents
Description
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.
Table of Contents
- 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?
by "Nielsen BookData"