research-article

Systematic Program Development

Author:

R. G. DromeyAuthors Info & Claims

IEEE Transactions on Software Engineering, Volume 14, Issue 1

Pages 12 - 29

https://doi.org/10.1109/32.4619

Published: 01 January 1988 Publication History

Publisher Site

Abstract

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.

References

[1]

{1} N. Wirth, "Program development by stepwise refinement," Commun. ACM, vol. 14, pp. 221-227, 1971.

Digital Library

Google Scholar

[2]

{2} E. W. Dijkstra, "A short introduction to the art of programming." Technological Univ. Eindhoven, Rep. EWD316. Aug. 1971.

Google Scholar

[3]

{3} E. W. Dijkstra, A Discipline of Programming. Englewood Cliffs. NJ: Prentice-Hall, 1976.

Digital Library

Google Scholar

[4]

{4} D. Gries, The Science of Programming. New York: Springer-Verlag, 1981.

Digital Library

Google Scholar

[5]

{5} M. A. Jackson, Principle of Program Design. London: Academic, 1975.

Digital Library

Google Scholar

[6]

{6} M. A. Jackson, Systems Development. London: Prentice-Hall, 1983.

Google Scholar

[7]

{7} P. Suppes, Introduction to Logic. Princeton, NJ: Van Nostrand, 1957.

Google Scholar

[8]

{8} A. Mayer, "Geschichte dea Prinzips der kleinston Action." Leipzig, 1977.

Google Scholar

[9]

{9} W. M. Turski, "On programming by iterations," IEEE Trans. Software Eng., vol. SE-10, pp. 175-178, Mar. 1984, and private communication.

Digital Library

Google Scholar

[10]

{10} E. Hehner, "do considered od," Acta Inform., vol. 11, pp. 287-304, 1979.

Digital Library

Google Scholar

[11]

{11} R. G. Dromey, "Forced termination of loops," Software Practice and Experience. vol. 15, pp. 29-40, Jan. 1985.

Crossref

Google Scholar

[12]

{12} R. G. Dromey, "Program development by inductive stepwise refinement," Software Practice and Experience, vol. 15, pp. 1-28, Jan. 1985.

Crossref

Google Scholar

[13]

{13} G. D. Berglund, "A guided tour of program design methodologies," Computer, vol. 14, pp. 13-37, Oct. 1981.

Digital Library

Google Scholar

[14]

{14} M. A. Jackson, Constructive Methods of Program Design (Lecture Notes in Computer Science vol. 44). Berlin: Springer-Verlag, 1976, pp. 236-262.

Digital Library

Google Scholar

Cited By

View all

Li JVouk MReeves DPancake C(1992)Improvements to systematic program developmentProceedings of the 30th annual ACM Southeast Regional Conference10.1145/503720.503763(308-311)Online publication date: 8-Apr-1992
https://dl.acm.org/doi/10.1145/503720.503763
Rist R(1991)Knowledge creation and retrieval in program designHuman-Computer Interaction10.1207/s15327051hci0601_16:1(1-46)Online publication date: 1-Mar-1991
https://dl.acm.org/doi/10.1207/s15327051hci0601_1
Pleasant JHwang CBrice R(1991)Systematic program development/proof using Dromey's methodProceedings of the 19th annual conference on Computer Science10.1145/327164.327229(169-173)Online publication date: 1-Apr-1991
https://dl.acm.org/doi/10.1145/327164.327229
Show More Cited By

Recommendations

Program development using abstract interpretation (and the ciao system preprocessor)
SAS'03: Proceedings of the 10th international conference on Static analysis

The technique of Abstract Interpretation has allowed the development of very sophisticated global program analyses which are at the same time provably correct and practical. We present in a tutorial fashion a novel program development framework which ...
"Leagile" software development

In recent years there has been a noticeable shift in attention from those who use agile software development toward lean software development, often labelled as a shift "from agile to lean". However, the reality may not be as simple or linear as this ...
Program graphs, an algebra, and their implication for programming

Current interests in software engineering have posed serious questions about the evolution of programs and languages. Computer programs are not simply collections of statements; they involve specific structural relationships between the programelements. ...

Comments

Information & Contributors

Information

Published In

cover image IEEE Transactions on Software Engineering

IEEE Transactions on Software Engineering Volume 14, Issue 1

January 1988

128 pages

ISSN:0098-5589

Issue’s Table of Contents

Publisher

IEEE Press

Publication History

Published: 01 January 1988

Author Tags

Qualifiers

Research-article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

4
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 16 Oct 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Li JVouk MReeves DPancake C(1992)Improvements to systematic program developmentProceedings of the 30th annual ACM Southeast Regional Conference10.1145/503720.503763(308-311)Online publication date: 8-Apr-1992
https://dl.acm.org/doi/10.1145/503720.503763
Rist R(1991)Knowledge creation and retrieval in program designHuman-Computer Interaction10.1207/s15327051hci0601_16:1(1-46)Online publication date: 1-Mar-1991
https://dl.acm.org/doi/10.1207/s15327051hci0601_1
Pleasant JHwang CBrice R(1991)Systematic program development/proof using Dromey's methodProceedings of the 19th annual conference on Computer Science10.1145/327164.327229(169-173)Online publication date: 1-Apr-1991
https://dl.acm.org/doi/10.1145/327164.327229
Wand YWeber R(1990)An Ontological Model of an Information SystemIEEE Transactions on Software Engineering10.1109/32.6031616:11(1282-1292)Online publication date: 1-Nov-1990
https://dl.acm.org/doi/10.1109/32.60316

Abstract

References

Cited By

Recommendations

Program development using abstract interpretation (and the ciao system preprocessor)

"Leagile" software development

Program graphs, an algebra, and their implication for programming

Comments

Information

Published In

Publisher

Publication History

Author Tags

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations