This book presents techniques for the precise description of software or systems using the object-oriented formal specification language, Object-Z. It includes numerous and varied case studies to illustrate the techniques and language of object-oriented formal specification and illustrates the key role of formal specification in formal verification and in implementation. Although primarily intended for safety-critical or complex software development, formal specification also has wide application in hardware or general system description.
A practical and rigorous approach to object-oriented formal specification. Introduces Object-Z. Illustrates the key role of formal specification in formal verification by inclusion of example proofs of correctness.
- ISBN13 9780333801239
- Publish Date 6 June 2000
- Publish Status Out of Print
- Out of Print 10 November 2021
- Publish Country GB
- Publisher Macmillan Education UK
- Imprint Red Globe Press
- Format Paperback
- Pages 240
- Language English