Article View: comp.specification.z
Article #121Re: What is this group - HERE'S A GOOD INTRO. TEXT ON 'Z'...
From: John Thomas
Date: Fri, 28 Jun 1991 00:25
Date: Fri, 28 Jun 1991 00:25
23 lines
1467 bytes
1467 bytes
In <7559@vela.acs.oakland.edu> rdthomps@vela.acs.oakland.edu (Robert D. Thompson) writes:
>People,
> I was interested in Z a while back when I was writing a paper
> on Object Oriented Analysis and Design.
[refs deleted]
Perhaps you might be interested in Object-Z. The object-oriented
version of Z developed here at the University of Queensland.
Sure beats plain old Z.
*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*
EMAIL: thomo@cs.uq.oz.au Ph: (07) 365 2726
SNAIL: John Thomas, +------------------+
c/o Computer Science Department, | And remember, |
University of Queensland, | A HONKED nose is |
Queensland, 4072 Australia. | a HAPPY nose ! |
+------------------+
*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*
Technical Details
Message-ID:
<2193@uqcspe.cs.uq.oz.au>Path:
arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!uunet!munnari.oz.au!bunyip.cc.uq.oz.au!uqcspe!cs.uq.oz.au!thomoReferences:
<2161@uqcspe.cs.uq.oz.au> <richard.677975691@mungarra> <1991Jun27.042414.7381@mlb.semi.harris.com> <7559@vela.acs.oakland.edu>Show Full Headers
Complete Article Headers
Path: arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!uunet!munnari.oz.au!bunyip.cc.uq.oz.au!uqcspe!cs.uq.oz.au!thomo From: thomo@cs.uq.oz.au (John Thomas) Newsgroups: comp.specification.z Subject: Re: What is this group - HERE'S A GOOD INTRO. TEXT ON 'Z'... Message-ID: <2193@uqcspe.cs.uq.oz.au> Date: 28 Jun 91 00:25:43 GMT References: <2161@uqcspe.cs.uq.oz.au> <richard.677975691@mungarra> <1991Jun27.042414.7381@mlb.semi.harris.com> <7559@vela.acs.oakland.edu> Sender: news@cs.uq.oz.au Reply-To: thomo@cs.uq.oz.au Lines: 23