Path: utzoo!utgpu!news-server.csri.toronto.edu!bonnie.concordia.ca!uunet!munnari.oz.au!bunyip.cc.uq.oz.au!brolga!uqcspe!cs.uq.oz.au!fmg
From: fmg@cs.uq.oz.au (Formal Mthds Grp)
Newsgroups: comp.specification
Subject: Re: Object-Z references wanted
Message-ID: <1898@uqcspe.cs.uq.oz.au>
Date: 12 Jun 91 03:29:43 GMT
References: <1991Jun7.230503.3804@zia.aoc.nrao.edu> <1991Jun10.020240.23152@porthos.cc.bellcore.com>
Sender: news@cs.uq.oz.au
Reply-To: fmg@cs.uq.oz.au
Lines: 21


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