The Community for Technology Leaders
Green Image
Issue No. 01 - January (1988 vol. 14)
ISSN: 0098-5589
pp: 12-29
<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.G. Dromey, "Systematic Program Development", IEEE Transactions on Software Engineering, vol. 14, no. , pp. 12-29, January 1988, doi:10.1109/32.4619
86 ms
(Ver 3.3 (11022016))