Abstract
The creative activity of programming—to be distinguished from coding—is usually taught by examples serving to exhibit certain techniques. It is here considered as a sequence of design decisions concerning the decomposition of tasks into subtasks and of data into data structures. The process of successive refinement of specifications is illustrated by a short but nontrivial example, from which a number of conclusions are drawn regarding the art and the instruction of programming.
Preview
Unable to display preview. Download preview PDF.
References
Dijkstra, E. W. A constructive approach to the problem of program correctness. BIT 8 (1968), 174–186.
Dijkstra, E. W. Notes on structured programming. EWD 249, Technical U. Eindhoven, The Netherlands, 1969.
Naur, P. Programming by action clusters. BIT 9 (1969) 250–258.
Wirth, N. Programming and programming languages. Proc. Internat. Comput. Symp., Bonn, Germany, May 1970.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2001 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Wirth, N. (2001). Program Development by Stepwise Refinement. In: Broy, M., Denert, E. (eds) Pioneers and Their Contributions to Software Engineering. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-48354-7_23
Download citation
DOI: https://doi.org/10.1007/978-3-642-48354-7_23
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-42290-7
Online ISBN: 978-3-642-48354-7
eBook Packages: Springer Book Archive