This specific ISBN edition is currently not available.View all copies of this ISBN edition:
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.
"synopsis" may belong to another edition of this title.
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.Review:
This book is very firmly oriented towards the practice of formal specification, and does not present the work on theoretical foundations which underpin the language. Instead, 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
"About this title" may belong to another edition of this title.
Book Description Condition: New. This is Brand NEW. Seller Inventory # Asian-15092018-5178
Book Description Palgrave, 2000. Condition: New. book. Seller Inventory # M0333801237