Formal Object-oriented Specification Using Object-Z
Download or Read eBook Formal Object-oriented Specification Using Object-Z PDF written by Roger Duke and published by MacMillan. This book was released on 2000 with total page 229 pages. Available in PDF, EPUB and Kindle.
Author | : Roger Duke |
Publisher | : MacMillan |
Total Pages | : 229 |
Release | : 2000 |
ISBN-10 | : 0333801237 |
ISBN-13 | : 9780333801239 |
Rating | : 4/5 (37 Downloads) |
Book Synopsis Formal Object-oriented Specification Using Object-Z by : Roger Duke
Book excerpt: This text 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.