cnh5730@calvin.tamu.edu (Charles Herrick) (06/28/91)
In article <2193@uqcspe.cs.uq.oz.au> thomo@cs.uq.oz.au (John Thomas) writes:
Perhaps you might be interested in Object-Z. The object-oriented
version of Z developed here at the University of Queensland.
Oh, please, tell us more, tell us more!!!
(;-]
seriously...
--
"I am walking on the wire
and the wire is what the whole thing is about."
-- John Stewart
fmg@cs.uq.oz.au ( Fuzzy Memory Group) (06/28/91)
cnh5730@calvin.tamu.edu (Charles Herrick) writes: >In article <2193@uqcspe.cs.uq.oz.au> thomo@cs.uq.oz.au (John Thomas) writes: > Perhaps you might be interested in Object-Z. The object-oriented > version of Z developed here at the University of Queensland. >Oh, please, tell us more, tell us more!!! > seriously... Object-Z is a model-oriented specification language (like Z, VDM and the Relational Notation of S. Lam and A.U. Shankar). Object-Z is an extension to Z which supports an object-oriented style of specification. The Version 1 reference manual for Object-Z can be obtained by emailing your normal (i.e. non-electronic) mail address to the Formal Methods Group librarian at the Department of Computer Science, University of Queensland: fmg@cs.uq.oz.au ----------------- Formal Methods Group librarian Department of Computer Science University of Queensland AUSTRALIA 4072