Path: utzoo!attcan!utgpu!jarvis.csri.toronto.edu!mailrus!uwm.edu!cs.utexas.edu!uunet!mcsun!ukc!inmos!mph From: mph@inmos.co.uk (Mike Harrison) Newsgroups: news.groups Subject: Re: call for discussion: comp.lang.specification Message-ID: <2698@ganymede.inmos.co.uk> Date: 27 Oct 89 11:56:00 GMT References: <3614@midway.cs.glasgow.ac.uk> <33464@cornell.UUCP> <2356@stl.stc.co.uk> Reply-To: mph@inmos.co.uk (Mike Harrison) Organization: INMOS Limited, Bristol, UK. Lines: 26 In article <2356@stl.stc.co.uk> "Steve Fagg" writes: >I'm in favour of the creation of the group as described, but I'm more >concerned than the original poster about the ambiguity of the name >comp.lang.specification possibly implying discussion of the specification of >languages (a fascinating enough topic in its own right though it be). Its actually more complicated than this - I used Z (and subsequently me-too) to describe the relations of program units in (and subsequently simulate the behaviour of) an Ada Program Library, which is using a specification language to capture (part of) the specifications of a language ! :-). Seriously, I support the creation of such a group, which I believe to be allied to (but distinct from) formal methods. I really don't care much about the name. "That which we call a rose ..." :-) Mike Harrison. -- Michael P. Harrison - Software Group - Inmos Ltd. UK. ----------------------------------------------------------- UK : mph@inmos.co.uk with STANDARD_DISCLAIMERS; US : mph@inmos.com use STANDARD_DISCLAIMERS;