Re: Obj-Orien. Z, was: HERE'S A GOOD INTRO. TEXT

Article View: comp.specification.z

Article #107

Back to comp.specification.z Previous Next

#107

From: Fuzzy Memory Group
Date: Fri, 28 Jun 1991 16:31

24 lines
1552 bytes

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

Technical Details

Message-ID: <2221@uqcspe.cs.uq.oz.au>

Path:

arc1-ca.pugleaf.net!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

References:

<2161@uqcspe.cs.uq.oz.au> <richard.677975691@mungarra>  <1991Jun27.042414.7381@mlb.semi.harris.com> <7559@vela.acs.oakland.edu>  <2193@uqcspe.cs.uq.oz.au> <CNH5730.91Jun28095316@calvin.tamu.edu>

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!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> <richard.677975691@mungarra>  <1991Jun27.042414.7381@mlb.semi.harris.com> <7559@vela.acs.oakland.edu>  <2193@uqcspe.cs.uq.oz.au> <CNH5730.91Jun28095316@calvin.tamu.edu>
Sender: news@cs.uq.oz.au
Reply-To: fmg@cs.uq.oz.au
Lines: 24

Reply to Parent Message