Formal Object Oriented Specification Using Object-Z

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.>

Product details

• Authors: Roger Duke, Gordon Rose, Gordon Duke Rose
• Publisher: Macmillan
• Languages: English
• Product format: Paperback / Softback
• Released: 06.06.2000
• EAN: 9780333801239
• ISBN: 978-0-333-80123-9
• No. of pages: 240
• Series: Cornerstones of Computing; Cornerstones of Computing
• Subject: Natural sciences, medicine, IT, technology > IT, data processing > Programming languages