Formal Object Oriented Specification Using Object-Z by Roger Duke
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.
This book is very firmly oriented towards the practice of formal specification, and does not present the work on theoretical foundations which underpin the languageInstead, all the features of an Object-Z specification are introduced step by step through tutorial examples, together with motivations for their use. The book also shows how the Unified Modelling Language (UML) can be used in conjunction with Object-Z, introducing notations for state and operation composition within UML class descriptions. The emphasis throughout is on the use of formal notation for precise modelling, instead of verification of refinements. This is in tune with the usual way Z is used, and the way formal methods have primarily been used in industrial pratice.' - Kevin Lano, Software Testing, Verification and Reliability
ROGER DUKE and GORDON ROSE are lecturers in the Software Verification Research Centre, Department of Computer Science and Electrical Engineering at the University of Queensland.
| SKU | Unavailable |
| ISBN 13 | 9780333801239 |
| ISBN 10 | 0333801237 |
| Title | Formal Object Oriented Specification Using Object-Z |
| Author | Roger Duke |
| Series | Cornerstones Of Computing |
| Condition | Unavailable |
| Binding Type | Paperback |
| Publisher | Bloomsbury Publishing PLC |
| Year published | 2000-06-06 |
| Number of pages | 240 |
| Cover note | Book picture is for illustrative purposes only, actual binding, cover or edition may vary. |
| Note | Unavailable |