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
  Aomori
  Iwate
  Miyagi
  Akita
  Yamagata
  Fukushima
  Ibaraki
  Tochigi
  Gunma
  Saitama
  Chiba
  Tokyo
  Kanagawa
  Niigata
  Toyama
  Ishikawa
  Fukui
  Yamanashi
  Nagano
  Gifu
  Shizuoka
  Aichi
  Mie
  Shiga
  Kyoto
  Osaka
  Hyogo
  Nara
  Wakayama
  Tottori
  Shimane
  Okayama
  Hiroshima
  Yamaguchi
  Tokushima
  Kagawa
  Ehime
  Kochi
  Fukuoka
  Saga
  Nagasaki
  Kumamoto
  Oita
  Miyazaki
  Kagoshima
  Okinawa
  Korea
  China
  Thailand
  United Kingdom
  Germany
  Switzerland
  France
  Belgium
  Netherlands
  Sweden
  Norway
  United States of America
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"