Re: Object-Z facts

Article View: comp.specification

Article #334

Back to comp.specification Previous Next

#334

From: 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

Technical Details

Message-ID: <kbm6s1y00h5K4aqUMi@cs.cmu.edu>

Path:

arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!bonnie.concordia.ca!uunet!elroy.jpl.nasa.gov!usc!wuarchive!mit-eddie!uw-beaver!cornell!rochester!pt.cs.cmu.edu!o.gp.cs.cmu.edu!andrew.cmu.edu!<UNAUTHENTICATED>+

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!bonnie.concordia.ca!uunet!elroy.jpl.nasa.gov!usc!wuarchive!mit-eddie!uw-beaver!cornell!rochester!pt.cs.cmu.edu!o.gp.cs.cmu.edu!andrew.cmu.edu!<UNAUTHENTICATED>+
From: Paul.Kram@cs.cmu.edu
Newsgroups: comp.specification
Subject: Re: Object-Z facts
Message-ID: <kbm6s1y00h5K4aqUMi@cs.cmu.edu>
Date: 25 Feb 91 01:53:05 GMT
Organization: Carnegie Mellon, Pittsburgh, PA
Lines: 26