Improvements to systematic program development

Search Swinburne Research Bank

Home

Please use this identifier to cite or link to this item: http://hdl.handle.net/1959.3/155499

Title: Improvements to systematic program development
Author(s): Li, Jianxin
Abstract: 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.
Publication type: Conference paper
Source: Proceedings of the ACM 30th Annual Southeast Regional Conference (ACM-SE 30), Raleigh, North Carolina, United States, 08-10 April 1992, pp. 308-311
Publication year: 1992
Keyword(s): Dromey's method; Program development; Programming
Publisher: ACM Press
ISBN: 9780897915069, 0897915062
Publisher URL: http://dx.doi.org/10.1145/503720.503763
Peer reviewed