Re: Object-Z facts

Thread View: comp.specification

1 messages

[T] Back to Threads [V] Tree View [G] Group Articles

1 total messages Started by Paul.Kram Mon, 25 Feb 1991 01:53

#334

Author: Paul.Kram
Date: Mon, 25 Feb 1991 01:53

26 lines
1250 bytes

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

Thread Navigation

This is a paginated view of messages in the thread with full content displayed inline.

Messages are displayed in chronological order, with the original post highlighted in green.

Use pagination controls to navigate through all messages in large threads.

Back to All Threads