Formal Object Oriented Specification Using Object-Z
Author | : Roger Duke |
Publisher | : Red Globe Press |
Total Pages | : 0 |
Release | : 2000-06-06 |
ISBN-10 | : 9780333801239 |
ISBN-13 | : 0333801237 |
Rating | : 4/5 (237 Downloads) |
Download or read book Formal Object Oriented Specification Using Object-Z written by Roger Duke and published by Red Globe Press. This book was released on 2000-06-06 with total page 0 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.