Formal object-oriented specification using Object-Z /
Duke, Roger,
Formal object-oriented specification using Object-Z / Roger Duke and Gordon Rose. - x, 229 pages. : illustrations . ; 25 cm. - Cornerstones of computing .
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.
0333801237 (pbk.)
Z (Computer program language) ;
Object-oriented programming (Computer science)
005.117 / D.R.F
Formal object-oriented specification using Object-Z / Roger Duke and Gordon Rose. - x, 229 pages. : illustrations . ; 25 cm. - Cornerstones of computing .
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.
0333801237 (pbk.)
Z (Computer program language) ;
Object-oriented programming (Computer science)
005.117 / D.R.F