Formal Object Oriented Specification Using Object-Z (Cornerstones of Computing)

3 avg rating
( 1 ratings by Goodreads )
 
9780333801239: Formal Object Oriented Specification Using Object-Z (Cornerstones of Computing)
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.

About the Author:

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.

Buy New View Book
List Price: US$ 89.99
US$ 127.93

Convert currency

Shipping: US$ 10.51
From India to U.S.A.

Destination, rates & speeds

Add to Basket

Top Search Results from the AbeBooks Marketplace

1.

BIRD
ISBN 10: 0333801237 ISBN 13: 9780333801239
New Quantity Available: 1
Seller:
University Bookstore
(DELHI, DELHI, India)
Rating
[?]

Book Description Condition: New. This is Brand NEW. Seller Inventory # Asian-15092018-5178

More information about this seller | Contact this seller

Buy New
US$ 127.93
Convert currency

Add to Basket

Shipping: US$ 10.51
From India to U.S.A.
Destination, rates & speeds

2.

Roger Duke; Gordon Rose
Published by Palgrave (2000)
ISBN 10: 0333801237 ISBN 13: 9780333801239
New Softcover Quantity Available: 1
Seller:
Irish Booksellers
(Portland, ME, U.S.A.)
Rating
[?]

Book Description Palgrave, 2000. Condition: New. book. Seller Inventory # M0333801237

More information about this seller | Contact this seller

Buy New
US$ 389.11
Convert currency

Add to Basket

Shipping: US$ 3.27
Within U.S.A.
Destination, rates & speeds