Program development by stepwise refinement
Communications of the ACM
The Science of Programming
A Discipline of Programming
Constructive Methods of Program Design
Proceedings of the Proceedings of the 1st European Cooperation in Informatics on ECI Conference 1976
Principles of Program Design
An Ontological Model of an Information System
IEEE Transactions on Software Engineering
Systematic program development/proof using Dromey's method: some comparisons with top-down design
CSC '91 Proceedings of the 19th annual conference on Computer Science
Improvements to systematic program development
ACM-SE 30 Proceedings of the 30th annual Southeast regional conference
Hi-index | 0.00 |
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.