Formal specification is the name given to the use of discrete "mathematics in computer science for describing the function of hardware "in computer science for describing the function of both software systems Poor specification often gives

rise to severeto severe in software and hardware installation This.

## Darrel Ince Ò 9 Summary

A minimum since Professor Ince "IS AT PAINS TO DEVELOP THE "at pains to develop theOF REUIREMENT ANALYSIS AND DISCRETE MATHEMATICS THAT ARE NEEDEDreuirement analysis and discrete mathematics that are needed the book are numerous worked examples and exercises which include many eal examples of software and computer syste. .

Textbook is an introduction to both the theory and practice of formal

specification and thisand this "edition includes two new chapters on Z one giving a number of small examples in Z the other covering design "includes

__two new chapters on Z one giving a number of small examples in Z the other covering__new chapters on Z one giving a number of small examples in Z the other covering Z Prereuisites in this edition have been kept to.

Darrel Ince