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
An axiomatic basis for computer programming
Communications of the ACM
Introduction to Algorithms: A Creative Approach
Introduction to Algorithms: A Creative Approach
The Science of Programming
Cryptography and data security
Cryptography and data security
A Discipline of Programming
Systematic Program Development
IEEE Transactions on Software Engineering
Hi-index | 0.00 |
This paper improves a program development method proposed in a recent paper by R. G. Dromey. It is argued that writing the postcondition in a judicious way can lead to programs which are easy to verify and efficient. Furthermore, we want to investigate feasibility of bridging the gap between the art of programming and the science of programming. It might be that the art is in writing the postcondition and the science in developing an algorithm from the postcondition. Examples are given to illustrate Dromey's method and improvements to it.