Path: utzoo!utgpu!jarvis.csri.toronto.edu!mailrus!cs.utexas.edu!uunet!mcsun!ukc!stc!root44!hrc63!mrcu!rs
From: rs@mrcu (Bob Smith)
Newsgroups: news.groups
Subject: Re: call for discussion: comp.lang.specification
Message-ID: <253@oasis.mrcu>
Date: 9 Nov 89 16:47:30 GMT
References: <3614@midway.cs.glasgow.ac.uk>
Reply-To: yd25@uk.co.gec-mrc (Bob Smith)
Organization: GEC-Marconi Research Centre, Great Baddow, UK
Lines: 15
Summary:
Expires:
Sender:
Followup-To:

In article <3614@midway.cs.glasgow.ac.uk> Jack Campin <jack@cs.glasgow.ac.uk> writes:
>
>
>What do people think of having a newsgroup to discuss specification and
>requirements languages - Z, Larch, OBJ, Lotos, VDM, metoo, CSP, CCS, Petri
>nets, RML, Forest, hardware description languages,... and related issues?

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