Paul.Kram@cs.cmu.edu (02/25/91)
Thanks to David Duke:
"Object-Z is an extension to the Z notation currently being developed
by a group at the University of Queensland. Basically, it adds a class
construct to the Z notation that allows a specification to be written
in an object-oriented style; for example, inheritance between classes
is provided."
-- D. Duke
Some Papers:
Object-Oriented Protocol Specification
R. Duke, G. Rose, A. Lee
Protocol Specification, Testing and Verification X
North Holland, 1990
Object-Z: An Object-Oriented Extension to Z
D. Carrington, D. Duke, R. Duke, P. King, G. Rose, G. Smith
FORTE '89 (Formal Description Techniques)
North Holland, 1989
Towards a Semantics for Object-Z
D. Duke, R. Duke
VDM 90: VDM and Z!
Springer Verlag
Lecture Notes in Computer Science vol 428