jack@cs.glasgow.ac.uk (Jack Campin) (11/30/89)
[This was cross-posted to too many groups, my news software core dumped trying to post it. --moderator] [Because of technical problems with Jack's news software, this posting is made by Charles Lindsey (see Sender: line).] chl@cs.man.ac.uk (Charles Lindsey) wrote: > What is happening about this? Comments seem to have been favourable. > Is the original poster going to institute a vote? Yes! This is it. My original suggestion was: > 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. The intent is for a group to discuss both the mathematics of these systems and also the practical issues involved in using them. I propose that the group be called "comp.specification" and that the one-line description of what it's about should be Formal specification - languages and methodologies. Votes to me by email; address on my signature. (BITNET people - try going through UKACRL if nothing else works). Can people on relevant mailing lists pass this on? Please include the words "I vote yes for comp.specification" or "I vote no for comp.specification" explicitly in your message; this is required by the usual USENET rules. To be counted, votes must arrive not later that December 22nd. Jack Campin * Computing Science Department, Glasgow University, 17 Lilybank Gardens, Glasgow G12 8QQ, SCOTLAND. 041 339 8855 x6044 wk 041 556 1878 ho INTERNET: jack%cs.glasgow.ac.uk@nsfnet-relay.ac.uk USENET: jack@glasgow.uucp JANET: jack@uk.ac.glasgow.cs PLINGnet: ...mcvax!ukc!cs.glasgow.ac.uk!jack