Path: utzoo!attcan!utgpu!jarvis.csri.toronto.edu!mailrus!tut.cis.ohio-state.edu!pt.cs.cmu.edu!sei!ee.sei.cmu.edu!maa From: maa@ee.sei.cmu.edu (Mark Ardis) Newsgroups: news.groups Subject: Re: comp.sw.specification Message-ID: Date: 30 Oct 89 21:37:17 GMT References: <75141@linus.UUCP> <6899@hubcap.clemson.edu> Sender: maa@sei.cmu.edu Organization: Software Engineering Institute, Pittsburgh, PA 15213 Lines: 10 In-reply-to: billwolf%hazel.cs.clemson.edu@hubcap.clemson.edu's message of 29 Oct 89 20:08:27 GMT I agree that the name "comp.sw.formal" might be a better choice than "comp.lang.specification." -- Mark A. Ardis Software Engineering Institute Carnegie-Mellon University Pittsburgh, PA 15213 (412) 268-7636 maa@sei.cmu.edu