billwolf%hazel.cs.clemson.edu@hubcap.clemson.edu (William Thomas Wolfe, 2847 ) (10/30/89)
From George Mitchell: > I have not seen enough traffic to support the creation of a group > focused on comp.lang.specification. If a need is perceived for a > special forum, I would suggest broadening the scope to > comp.sw.formal[-methods]. This would also place the group > in a more appropriate place in the hierarchy. Possibly due to the traffic being siphoned off into mailing lists. I'd agree that comp.sw is the most appropriate place within the hierarchy; another possibility might also be comp.sw.specification. Bill Wolfe, wtwolfe@hubcap.clemson.edu
maa@ee.sei.cmu.edu (Mark Ardis) (10/31/89)
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