Issue No. 01 - January (1988 vol. 14)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/32.4619
<p>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. With the proposed method, a program is developed by making a sequence of refinements, each of which can establish the postcondition for a corresponding sequence of progressively weaker preconditions until a mechanism has been composed that will establish the postcondition for the original given precondition for the problem. The strategy can minimize case analysis, simplify constructive program proofs, and ensure a correspondence between program structure and data structure.</p>
program development; problem decomposition; goal-oriented programming; refinements; postcondition; case analysis; constructive program proofs; program structure; data structure; programming; software engineering
R. Dromey, "Systematic Program Development," in IEEE Transactions on Software Engineering, vol. 14, no. , pp. 12-29, 1988.