TY  - BOOK
AU  - Duke,Roger
AU  - Rose,Gordon
TI  - Formal object-oriented specification using Object-Z / 
T2  - Cornerstones of computing
SN  - 0333801237 (pbk.)
U1  - 005.117 21
PY  - 2000///
CY  - Basingstoke
PB  - Macmillan
KW  - Z (Computer program language)
KW  - Object-oriented programming (Computer science)
N1  - Includes bibliographical references and index.; 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

ER  -