Computer · 1981 · 12 citations · 9 references
Mathematical ProgrammingRefinement TechniqueProgramming Language TheoryDeclarative ProgrammingEngineeringProgram AnalysisAutomated ReasoningStructured ProgrammingEngineering DisciplinesSystems EngineeringTutorial Series 6Computer ScienceProcess Systems EngineeringProgramming MethodologyOptimizationBiological Sciences
Structured programming is based on the stepwise refinement process—a method ofproblem decomposition common to all engineering disciplines and the physical, chemical, and biological sciences.
9
Letters to the editor: go to statement considered harmful
Edsger W. Dijkstra · Communications of the ACM · 1968 · 1K citations · Full text
Program development by stepwise refinement
Niklaus Wirth · Communications of the ACM · 1971 · 924 citations · Full text
Olle Dahl, E. Dijkstra, C. A. R. Hoare · 1972 · 889 citations
Dynamic Data Structure, Declarative Programming, Engineering +15
Program development by stepwise refinement
Niklaus Wirth · Communications of the ACM · 1983 · 689 citations · Full text