Path: utzoo!attcan!utgpu!utstat!jarvis.csri.toronto.edu!mailrus!cs.utexas.edu!tut.cis.ohio-state.edu!bloom-beacon!eru!luth!sunic!mcsun!cernvax!hslrswi!drabik From: drabik@hslrswi.uucp (Drabik Pascal) Newsgroups: news.groups Subject: Re: call for discussion: comp.lang.specification Message-ID: Date: 24 Oct 89 08:42:15 GMT References: <3614@midway.cs.glasgow.ac.uk> Sender: news@hslrswi.UUCP Followup-To: news.groups Organization: Hasler AG, CH-3000 Berne 14, Switzerland Lines: 26 In-reply-to: jack@cs.glasgow.ac.uk's message of 20 Oct 89 17:37:47 GMT In article <3614@midway.cs.glasgow.ac.uk> jack@cs.glasgow.ac.uk (Jack Campin) writes: > Path: hslrswi!cernvax!mcsun!uunet!dino!ux1.cso.uiuc.edu!uwm.edu!mailrus!ncar!announce-newgroups > From: jack@cs.glasgow.ac.uk (Jack Campin) > Date: 20 Oct 89 17:37:47 GMT > Sender: woods@ncar.ucar.edu > Reply-To: Jack Campin ... > > 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? ... I wander why there is not yet such a newsgroup. It is clear that there we need it. Pascal. -- ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ DRABIK Pascal Tel: +41-31-63-32-22 % You'll never % ASCOM Tech Ltd Telefax: +41-31-63-36-07 % know until % KTHD % you try... % Belpstrasse, 23 e-mail : drabik@hslrswi.uucp % ~~~~~~~~~~~~ % CH-3000 Berne 14 Switzerland % ~ ~~~~~~ ~ %