Constructive Methods of Program Design
Proceedings of the Proceedings of the 1st European Cooperation in Informatics on ECI Conference 1976
Principles of Program Design
| Hi-index | 0.00 |
The techniques of Michael Jackson offer a constructive, teachable and repeatable method for the design of correct programs. At the heart of his approach is the principle that program structure should precisely mirror the structure of the data processed. Jackson believes that functional-decomposition methods are too difficult because they tackle the problem directly by considering the functional specification —which presents too many choices and too few criteria of the correctness of the choices made. This paper shows the solution of a simple data processing problem, illustrating the practicality and rationality of the Jackson design method.