Formal Object Oriented Specification Using Object-Z
For information on how we process your data, read our Privacy Policy
Description
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.
Table of Contents
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.
Product details
| Published | Jun 06 2000 |
|---|---|
| Format | Paperback |
| Edition | 1st |
| Extent | 240 |
| ISBN | 9780333801239 |
| Imprint | Red Globe Press |
| Dimensions | Not specified |
| Series | Cornerstones of Computing |
| Publisher | Bloomsbury Publishing |
Related Titles
