Path: utzoo!attcan!uunet!cs.utexas.edu!samsung!think!mintaka!snorkelwacker!spdcc!merk!alliant!linus!community-chest!mitchell
From: mitchell@community-chest.uucp (George Mitchell)
Newsgroups: comp.object
Subject: O-O Z (was Re: call for discussion: comp.lang.specification)
Message-ID: <81017@linus.UUCP>
Date: 21 Nov 89 20:38:51 GMT
References: <3614@midway.cs.glasgow.ac.uk> <253@oasis.mrcu>
Sender: news@linus.UUCP
Reply-To: gmitchel@mitre.org (George Mitchell)
Organization: MITRE-McLean Software Engineering Laboratory
Lines: 19

In news.groups article <253@oasis.mrcu> yd25@uk.co.gec-mrc (Bob Smith) wrote:
`
`There are several people who would be in favour of a formal specifications
`group at Marconi Research Centre. (We are especially interested in Z and
`Object-oriented Z).
`-- 
`Robert Smith                 |  Tel: +44 245 73331 x.3215
`GEC-Marconi Research Centre  |  Fax: +44 245 75244
`Great Baddow, Chelmsford,    |  Uucp:  ...!mcvax!ukc!mrcu!yd25
`Essex, UK CM2 8HN            |  Other: yd25@uk.co.gec-mrc

What experience(s) have you (plural) had with using a specification
language to document O-O analysis/design?  Reply to me directly and I
will summarize for the net.  Thanks in advance.
--

/s/ George   vmail: 703/883-6029
email:  mitchell@community-chest.mitre.org    [alt: gmitchel@mitre.arpa]
snail:  GB Mitchell, MITRE, MS Z676, 7525 Colshire Dr, McLean, VA  22102