Path: utzoo!utgpu!jarvis.csri.toronto.edu!mailrus!uwm.edu!gem.mps.ohio-state.edu!tut.cis.ohio-state.edu!ucbvax!bloom-beacon!eru!luth!sunic!mcsun!ukc!axion!pyoung
From: pyoung@zaphod.axion.bt.co.uk (Peter Young)
Newsgroups: news.groups
Subject: Re: call for discussion: comp.lang.specification
Message-ID: <3157@zaphod.axion.bt.co.uk>
Date: 25 Oct 89 09:09:12 GMT
References: <3614@midway.cs.glasgow.ac.uk>
Sender: news@axion.bt.co.uk
Reply-To: pyoung@zaphod.axion.bt.co.uk
Lines: 30

From article <3614@midway.cs.glasgow.ac.uk>, by jack@cs.glasgow.ac.uk (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?
> A thought prompted by wanting to ask a question about them and realizing it
> didn't fit into any newsgroup I could think of.


I would welcome the creation of such a group. It would be a valuable forum
for those of us who are interested in the area of formal specification
languages. 

It might also encourage a wider interest in the subject in the US.

> I prefer the name above, despite its unfortunate ambiguity (it could also
> be read as specification OF computer languages, a subtopic of my intended
> one) but could live with comp.software-eng.formal or comp.specification.

comp.theory.specification also springs to mind.

I also think that if there is insufficient support for a newsgroup
then a mailing list could fulfil this function, admittedly with a
smaller readership.



  ____________________________________________________________________
  Pete Young                 pyoung@axion.bt.co.uk                     
  British Telecom Research Labs,SSTF, Martlesham Heath IPSWICH IP5 7RE
  Phone  +44 473 645054