Program Development by Stepwise Refinement and Related Topics
Narain H. Gehani · Bell System Technical Journal · 1981
Computer program development by stepwise refinement has been advocated by many people. We take another look at stepwise refinement in light of recent developments in programming languages and programming methodology such as abstract data types, correctness proofs and formal specifications, parallel programs and multiversion programs. We offer suggestions for the refinement process and discuss program maintainability.