A discipline for program development
R. Geoff Dromey · Research Online (University of Wollongong) · 1984
A constructive method of program development is presented. It is based on a sim-ple 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. 1.