jack@cs.glasgow.ac.uk (Jack Campin) (10/21/89)
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 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. Usenet being what it is, someone's bound to suggest something much more specific before long; better we get in first with a top-level group to cover the whole shebang. This is a call for discussion only, so no email please; keep it public. Followups directed to news.groups (where this topic has to compete with an interminable thread about fish, so be voluble!). -- Jack Campin * Computing Science Department, Glasgow University, 17 Lilybank Gardens, Glasgow G12 8QQ, SCOTLAND. 041 339 8855 x6045 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