Program development by stepwise refinement

  title={Program development by stepwise refinement},
  author={N. Wirth},
  journal={Commun. ACM},
  • N. Wirth
  • Published 1971
  • Computer Science
  • Commun. ACM
  • Program Development by Stepwise Refinement Niklaus Wirth EidgeniSssische Technische Hochschule Ziirich, Switzerland 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… CONTINUE READING
    34 Citations
    A tool for developing correct programs by refinement
    • 28
    • PDF
    Refinement as Inclusion of Predicates over Programs
    Patterns and model transformation tools for designing Contractual State Machines
    • 1
    • PDF
    Parallel programming by transformation
    • 3
    • PDF
    Deductive Synthesis and Repair
    • 3
    • PDF
    Refinement, Decomposition, and Instantiation of Discrete Models: Application to Event-B
    • 266
    • PDF
    Instill Engineering Thought in C Programming Teaching
    • 2