The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.01 - January (1988 vol.14)
pp: 12-29
ABSTRACT
<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>
INDEX TERMS
program development; problem decomposition; goal-oriented programming; refinements; postcondition; case analysis; constructive program proofs; program structure; data structure; programming; software engineering
CITATION
R.G. Dromey, "Systematic Program Development", IEEE Transactions on Software Engineering, vol.14, no. 1, pp. 12-29, January 1988, doi:10.1109/32.4619
19 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool