Program development by stepwise refinement
作者： Niklaus Wirth
关键词: Process (engineering) 、 Jackson structured programming 、 Decomposition (computer science) 、 Sequence 、 Top-down and bottom-up design 、 Computer science 、 Program development 、 Inductive programming 、 Programming language 、 Data structure 、 General Computer Science
摘要: 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 design decisions concerning the decomposition tasks into subtasks and data structures. process successive refinement specifications illustrated short but nontrivial example, which number conclusions are drawn regarding art instruction programming.
acm.org
springer.com
sci-hub.se 参考文章(3)
Edsger Wybe Dijkstra, Notes on structured programming In Structured programming (1972), pp. 1-82. ,vol. 8, pp. 1- 82 ,(1970)
Peter Naur, Programming by action clusters Bit Numerical Mathematics. ,vol. 9, pp. 250- 258 ,(1969) , 10.1007/BF01946816
E. W. Dijkstra, A constructive approach to the problem of program correctness Bit Numerical Mathematics. ,vol. 8, pp. 174- 186 ,(1968) , 10.1007/BF01933419