Synopses & Reviews
Introduces developers to Z notation, a formal specification methodology that can dramatically improve the way software systems are modeled and implemented.Covers the role of formal specification in software engineering, and presents an informal introduction to logic and set theory. Introduces the Z notation as a mathematical language. Presents Z notation relations, functions, schemas and specifications structure. Presents a completed specification in Z notation, and shows how that specification can be transformed into a working program.Software engineers and students of advanced software engineering.
Synopsis
Following the sucess of the first edition, the authors have updated and revised this bestselling textbook to take into account the changes in the subject over the past 5 years.
Table of Contents
- Introduction.
- Formal Specification within Software Engineering.
- An informal introduction to Logic and Set Theory.
- The Z Notation: Mathematical Language.
- The Z Notation: Relations and Functions.
- The Z Notation:Schemas and Specification Structure.
- A First Specification.Formal Reasoning.
- From Specification to Program.
- From Theory to Practice.
- Appendices.
- Bibliography.
- Index.