Systematic Program Development/Proof Using Dromey's Method: Some Comparisons With Top-Down Design
Document Type
Conference Proceeding
Publication Date
4-1-1991
Description
© 1991 ACM. This paper compares a program development method proposed in a recent paper by R. G. Dromey with the Wirth-Dijkstra top-down refinement method with regard to proof-of-correcmess issues. It is argued that the goal-oriented nature of the newer method leads to programs which are more easily proved using Hoare-type rules. Several new examples are given to illustrate Dromey's method and to demonstrate its advantages over the top-down refinement method with regard to verifiability of the resulting programs.
Citation Information
Pleasant, James C.. 1991. Systematic Program Development/Proof Using Dromey's Method: Some Comparisons With Top-Down Design. CSC 1991 - Proceedings of the 19th Annual Conference on Computer Science. 169-173. https://doi.org/10.1145/327164.327229 ISBN: 0897913825,9780897913829