Program development by stepwise refinement

@article{Wirth1983ProgramDB,
  title={Program development by stepwise refinement},
  author={N. Wirth},
  journal={Commun. ACM},
  year={1983},
  volume={26},
  pages={70-74}
}
  • N. Wirth
  • Published 1983
  • Computer Science
  • Commun. ACM
  • 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. 
    979 Citations
    A discipline for program development
    On the development of reliable large software
    On Correct Refinement of Programs
    • PDF
    Stepwise Refinement of Control Software - A Case Study Using RAISE
    • 5
    Stepwise refinement and problem solving
    • 5
    • PDF
    A novice's process of object-oriented programming
    • 15
    • PDF
    Program Development by Transforamtion and Refinement
    • 5
    Stepwise refinement revisited
    • 6
    • PDF
    Stepwise Refinement Process With Modularity: An Algebraic Approach
    • 5
    Mechanical Translation of Set Theoretic Problem Specifications into Efficient RAM Code - A Case Study
    • 16
    • PDF