XWe have detected your location as outside the U.S/Canada, if you think this is wrong, you can choose your location.

Macmillan Higher Education

Cart

Continue Shopping
All prices are shown excluding Tax
The submitted promocode is invalid
Discount code already used. It can only be used once.
* Applied promocode: ×

Due to COVID-19, physical book delivery is currently not possible to China, Djibouti, French Polynesia, Hong Kong, Kuwait, Lebanon, Libya, Macao, Maldives, Morocco, Moldova, Mongolia, Philippines, Somalia, Sri Lanka and Tunisia. If you are affected please select an ebook version instead. Apologies for the inconvenience.

Important information on your ebook order

Important information on your access card order

COVID-19: Support for professors and students affected by Coronavirus. Learn more

Formal Object Oriented Specification Using Object-Z

Author(s):
Publisher:

Red Globe Press

Pages: 240
Series:

Cornerstones of Computing

Downloads:

Flyer

Sample chapter

Further Actions:

Recommend to library

Rights and permissions

AVAILABLE FORMATS

Paperback - 9780333801239

06 June 2000

$94.99

Free Shipping

Back in stock soon

All prices are shown excluding Tax

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...

Show More

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.

Show Less

A practical and rigorous approach to objectoriented formal specification which is well illustrated with a variety of case studies
A comprehensive introduction to ObjectZ (objectoriented formal specification language) including its syntax and selected aspects of its semantics
The key roles of formal specification are illustrated by the inclusion of example proofs
Graphical techniques are integrated with formal specification text to help students understand the subject

Preface
Specification and Object Orientation
Graphical Presentatio of Specifications
Local vs Central Control
Distributed and Mediated Message Passing
Dependency and Information Sharing
Reliable Behaviour
Proving Invariant Properties
Polymorphic Inheritance Hierachies
Class Union
Object Containment
Computational Systems
Functional Abstraction
Semantic Issues of Object-Z
Background Notation
Glossary of Notation
Object-Z Concrete Syntax
Further Reading.

Add a review

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.

Show More

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.

Show Less

New Publications 

Best Sellers