Path: utzoo!attcan!uunet!dino!ux1.cso.uiuc.edu!ux1.cso.uiuc.edu!m.cs.uiuc.edu!s.cs.uiuc.edu!mccaugh
From: mccaugh@s.cs.uiuc.edu
Newsgroups: comp.std.misc
Subject: Re: call for discussion: comp.lang.spec
Message-ID: <220200001@s.cs.uiuc.edu>
Date: 22 Nov 89 17:31:12 GMT
References: <3614@midway.cs.glasgow.ac.uk>
Lines: 7
Nf-ID: #R:midway.cs.glasgow.ac.uk:3614:s.cs.uiuc.edu:220200001:000:332
Nf-From: s.cs.uiuc.edu!mccaugh    Nov 22 00:49:00 1989


 I am all for it, and I agree that 'comp.lang.spec' might be misconstrued to
 mean that programming languages where being specified. I am personally most
 interested in the algebraic-specification languages, such as: Clear, OBJ and
 ACT ONE, but would also consider model-oriented methods like Z and VDM, also.

 Scott McCaughrin