|
| This Article | ||
| ||
| Share | ||
| Bibliographic References | ||
| Add to: | ||
 Digg  Furl  Spurl  Blink  Simpy  Google  Del.icio.us  Y!MyWeb | ||
| Search | ||
| ||
| ASCII Text | x | ||
| Robert G. Reynolds, Jonathan I. Maletic, Stephen E. Porvin, "Stepwise Refinement and Problem Solving," IEEE Software, vol. 9, no. 5, pp. 79-88, September/October, 1992. | |||
| BibTex | x | ||
| @article{ 10.1109/52.156900, author = {Robert G. Reynolds and Jonathan I. Maletic and Stephen E. Porvin}, title = {Stepwise Refinement and Problem Solving}, journal ={IEEE Software}, volume = {9}, number = {5}, issn = {0740-7459}, year = {1992}, pages = {79-88}, doi = {http://doi.ieeecomputersociety.org/10.1109/52.156900}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, } | |||
| RefWorks Procite/RefMan/Endnote | x | ||
| TY - MGZN JO - IEEE Software TI - Stepwise Refinement and Problem Solving IS - 5 SN - 0740-7459 SP79 EP88 EPD - 79-88 A1 - Robert G. Reynolds, A1 - Jonathan I. Maletic, A1 - Stephen E. Porvin, PY - 1992 KW - software metrics; problem solving; stepwise refinement; artificial intelligence; programming; artificial intelligence; problem solving; software engineering; structured programming; systems analysis VL - 9 JA - IEEE Software ER - | |||
The possibility of reexpressing the traditional notion of stepwise refinement as a combination of general problem-solving activities that are based on paradigms taken from artificial intelligence research is discussed. This reexpression can form the basis for a more explicit view of programming as a problem-solving activity. Experiments in which each step of the refinement process is encoded into problem solving activities are described. 26 examples of code implementation using the stepwise refinement of pseudocode have been analyzed. The presence of certain combinations of activities suggest that programmers are implicitly emulating certain paradigms that have proved useful in solving complex problems. Also, a particular paradigm and its associated activities seem to be applied often throughout the refinement sequence for a given problem. The nature of the problem to be solved influences the type of activities performed to achieve a solution, as well as the problem-solving paradigm that they implicitly support.