Formal Object Oriented Specification Using Object-Z
Roger Duke, Gordon A. Rose · Medical Entomology and Zoology · 2000
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