Path: utzoo!attcan!utgpu!jarvis.csri.toronto.edu!csri.toronto.edu!malton
From: malton@csri.toronto.edu (Andrew Malton)
Newsgroups: news.groups
Subject: Re: call for discussion: comp.lang.specification
Message-ID: <1989Oct23.132848.5795@jarvis.csri.toronto.edu>
Date: 23 Oct 89 17:28:48 GMT
References: <3614@midway.cs.glasgow.ac.uk>
Organization: University of Toronto, CSRI
Lines: 18

By all means let us discuss programming methodology on the net.
Do we need a new newsgroup? I hope not. I suggest either (a)
using sci.logic, or (b) using comp.software-eng. My own reasons
for reading them has been, at least partly, to participate in
discussions about formal programming methods.

The sci.logic isn't used very much right now, and could do with a
wider scope. Perhaps programming methodology could contribute to
the present stream there concerning Church's thesis.

The comp.software-eng is used quite a lot but rarely mentions formal
methods. In my opinion this is the best place to discuss programming
methodology. Even there, a logically technical discussion would not
be out of place. Logic and software-engineering are two sides of the
same coin, anyway: didn't Dana Scott coin (sorry) the term `axiom
engineering' to refer to it?

Andrew Malton, Dept of Computer Science, U of Toronto.