Program development by stepwise refinement.¶
Wirth, N. (1971). Program development by stepwise refinement. Communications of the ACM, 14(4), 221-227.
Cited by¶
3 citations across 3 artifacts.
Each citation links to the sentence it supports in the citing article.
Primes¶
- Decomposition
- It separates a system along chosen dimensions (functional, structural, temporal, causal) and creates a divide-and-conquer logic: understand each part independently, then reconstruct understanding of the whole from part-level insights, a logic Wirth (1971) crystallized in his stepwise-refinement methodology.
This sourceCharacterizes programming as successive decomposition of tasks into subtasks and data into data structures.
- It separates a system along chosen dimensions (functional, structural, temporal, causal) and creates a divide-and-conquer logic: understand each part independently, then reconstruct understanding of the whole from part-level insights, a logic Wirth (1971) crystallized in his stepwise-refinement methodology.
- Progressive Refinement from Core Model
- Perturbation Theory (physics), comparative statics (economics), local-expansion methods (engineering), fine-tuning of pre-trained models (machine learning), and the linearize-around-equilibrium practice across applied mathematics.
This sourceFoundational software-methodology paper: characterizes program development as successive decomposition of tasks into subtasks and data into data structures, distinguishing the process of decomposition from any particular structural outcome.
- Perturbation Theory (physics), comparative statics (economics), local-expansion methods (engineering), fine-tuning of pre-trained models (machine learning), and the linearize-around-equilibrium practice across applied mathematics.
- Refinement
- Refinement is the iterative process of progressively improving the precision, quality, or fitness of a candidate solution, model, artifact, or design by repeated cycles of evaluation and adjustment, as Wirth (1971) formalized in his foundational treatment of stepwise refinement.
This sourceFoundational software-methodology paper: characterizes program development as successive decomposition of tasks into subtasks and data into data structures, distinguishing the process of decomposition from any particular structural outcome.
- Refinement is the iterative process of progressively improving the precision, quality, or fitness of a candidate solution, model, artifact, or design by repeated cycles of evaluation and adjustment, as Wirth (1971) formalized in his foundational treatment of stepwise refinement.
Verification¶
This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.
Registry ID ref:3ef4ad21f690 · see in the full table