render@m.cs.uiuc.edu (04/27/89)
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