Path: utzoo!attcan!utgpu!jarvis.csri.toronto.edu!mailrus!ncar!tank!uxc!uxc.cso.uiuc.edu!m.cs.uiuc.edu!render
From: render@m.cs.uiuc.edu
Newsgroups: comp.software-eng
Subject: Re: Design Methodologies - Fact or Illu
Message-ID: <39400014@m.cs.uiuc.edu>
Date: 27 Apr 89 16:17:00 GMT
References: <747@dcl-csvax.comp.lancs.ac.uk>
Lines: 12
Nf-ID: #R:dcl-csvax.comp.lancs.ac.uk:747:m.cs.uiuc.edu:39400014:000:640
Nf-From: m.cs.uiuc.edu!render    Apr 27 11:17:00 1989


You may or may not consider this pertinent, but a good survey book is 
_Software Specification Techniques_, edited by Narain Gehani and Andrew
D. McGettrick (Addison-Wesley, 1986).  The book contains several papers 
detailing various aspects of the specification process (which I, at least, 
consider synonymous with design).  If you want generalities and opinion 
(like those you quoted), then read Dijkstra's _Selected Writings on Computing_.
Also, several software conferences have tracks devoted to design methods 
and tools, so look in a library or a catalog of conference proceedings.

Hal Render
render@cs.uiuc.edu | uiucdcs!render