Path: utzoo!utgpu!news-server.csri.toronto.edu!rpi!zaphod.mps.ohio-state.edu!samsung!uunet!munnari.oz.au!bunyip.cc.uq.oz.au!uqcspe!cs.uq.oz.au!fmg From: fmg@cs.uq.oz.au ( Fuzzy Memory Group) Newsgroups: comp.specification.z Subject: Re: Obj-Orien. Z, was: HERE'S A GOOD INTRO. TEXT Message-ID: <2221@uqcspe.cs.uq.oz.au> Date: 28 Jun 91 16:31:42 GMT References: <2161@uqcspe.cs.uq.oz.au> <1991Jun27.042414.7381@mlb.semi.harris.com> <7559@vela.acs.oakland.edu> <2193@uqcspe.cs.uq.oz.au> Sender: news@cs.uq.oz.au Reply-To: fmg@cs.uq.oz.au Lines: 24 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