jack@cs.glasgow.ac.uk (Jack Campin) (12/12/89)
This is a reminder about a vote in progress for a newsgroup to discuss the specification of computer systems. Here is the original call: > 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. Voting closes around Christmas, I forget the exact date. Followups to news.groups. -- 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