Article View: comp.specification.z
Article #104Re: What is this group - HERE'S A GOOD INTRO. TEXT ON 'Z'...
From: Robert D. Thompson
Date: Fri, 28 Jun 1991 07:39
Date: Fri, 28 Jun 1991 07:39
30 lines
1331 bytes
1331 bytes
In article <2193@uqcspe.cs.uq.oz.au> thomo@cs.uq.oz.au writes: >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. John, How about some references for everybody in the group! I would love to get a thread going about Object-Z. I am anxious to get my hands on something. How about an ftp site, or something. Heck, e-mail me something! Thanks...Regards |(8> --- Robert rdthomps@vela.acs.oakland.edu
Technical Details
Message-ID:
<7596@vela.acs.oakland.edu>Path:
arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!usc!sdd.hp.com!caen!news.cs.indiana.edu!ux1.cso.uiuc.edu!m.cs.uiuc.edu!vela!rdthompsReferences:
<1991Jun27.042414.7381@mlb.semi.harris.com> <7559@vela.acs.oakland.edu> <2193@uqcspe.cs.uq.oz.au>Show Full Headers
Complete Article Headers
Path: arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!usc!sdd.hp.com!caen!news.cs.indiana.edu!ux1.cso.uiuc.edu!m.cs.uiuc.edu!vela!rdthomps From: rdthomps@vela.acs.oakland.edu (Robert D. Thompson) Newsgroups: comp.specification.z Subject: Re: What is this group - HERE'S A GOOD INTRO. TEXT ON 'Z'... Message-ID: <7596@vela.acs.oakland.edu> Date: 28 Jun 91 07:39:40 GMT References: <1991Jun27.042414.7381@mlb.semi.harris.com> <7559@vela.acs.oakland.edu> <2193@uqcspe.cs.uq.oz.au> Organization: Oakland University, Rochester MI. Lines: 30