Formal Object Oriented Specification Using Object-Z

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