cflatter@zia.aoc.nrao.edu (Chris Flatters) (06/08/91)
Could someone point me towards a description (or descriptions) of object-Z, please. -- ====================================================================== Chris Flatters | cflatter@nrao.edu AIPS Scientific Programmer | ======================================================================
haim@taichi.uucp (24122-Haim Kilov(L028)m000) (06/10/91)
Roger Duke from Queensland University (Australia) had presented a tutorial on Object Z in Paris, at TOOLS'91. He had published several papers on Object Z. Hope this helps. -Haim Kilov haim@bcr.cc.bellcore.com
fmg@cs.uq.oz.au (Formal Mthds Grp) (06/12/91)
In comp.text.tex, Chris Flatters writes: > Could someone point me towards a description (or descriptions) of > object-Z, please. 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 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