Jane SINCLAIR, Open University
David TILL, City University, London.
Series: Prentice-Hall International Series in Computer Science
Publisher : Prentice Hall - London ; New York
KEY BENEFIT: Introduces developers to Z notation, a formal specification methodology that can dramatically improve the way software systems are modeled and implemented.
KEY TOPICS: 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.
AUDIENCE: Software engineers and students of advanced software engineering.