Path: utzoo!utgpu!jarvis.csri.toronto.edu!mailrus!tut.cis.ohio-state.edu!cs.utexas.edu!uunet!mcsun!hp4nl!utrcu1!infpve
From: infpve@utrcu1.UUCP (Peter van Eijk)
Newsgroups: news.groups
Subject: Re: call for discussion: comp.lang.specification
Message-ID: <257@utrcu1.UUCP>
Date: 24 Oct 89 07:21:50 GMT
References: <3614@midway.cs.glasgow.ac.uk>
Reply-To: infpve@utrcu1.UUCP (Peter van Eijk)
Organization: Utwente, Enschede
Lines: 21

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

Being involved in LOTOS, i am much in favor of a newsgroup devoted to
it. I suppose there is some cross fertilisation possible between those
topics, so they might be bundled somehow.
I would be in favor of a hierarchy starting at comp.lang.specification
as we would be discussing topics related to the *expression* of
concepts.

I am involved in the distribution of LOTOS software, and from that
experience i can predict that interest will come from Europe, Japan,
Korea, the rest of the british commonwealth, and the US, in that
order.
-- 
	Peter van Eijk University of Twente  Dept Informatica / IPS
	P.O. Box 217; 7500 AE Enschede The Netherlands
	+31-53-893789	mcvax!utrcu1!infpve
Tune in next week and be bored again.