Publication Date
1984
Recommended Citation
Dromey, R. Geoff, A discipline for program development, Department of Computing Science, University of Wollongong, Working Paper 84-17, 1984, 10p.
https://ro.uow.edu.au/compsciwp/73
Abstract
A constructive method of program development is presented. It is based on a simple strategy for problem decomposition that is claimed to be more supportive of goal-oriented programming than the Wirth-Dijkstra top-down refinement method. The strategy can minimize case analysis, simplify constructive program proofs, and, ensure a correspondence between program structure and data structure.
COinS