An empirical study of the use of problem reduction as a paradigm for problem solving in software engineering

Authors:
Steven E. Porvin;Robert G. Reynolds;Jonathan I. Maletic
Affiliations:
Wayne State University, Computer Science Department, Detroit, Mi;Wayne State University, Computer Science Department, Detroit, Mi;Wayne State University, Computer Science Department, Detroit, Mi
Venue:
CSC '91 Proceedings of the 19th annual conference on Computer Science
Year:
1991

Citing 13
Cited 1

Software engineering metrics and models

Software engineering metrics and models
The society of mind

The society of mind
Readings in artificial intelligence and software engineering

Readings in artificial intelligence and software engineering
The partial metrics system: modeling the stepwise refinement process using partial metrics

Communications of the ACM
Metric-based reasoning about pseudocode design in the partial metrics system

Information and Software Technology
The Programmer's Apprentice: A Research Overview

Computer
Designing the user interface (videotape)

Designing the user interface (videotape)
The partial metrics system: a tool to support the metrics-driven design of pseudocode programs

Journal of Systems and Software
Common LISP: a gentle introduction to symbolic computation

Common LISP: a gentle introduction to symbolic computation
An introduction to refinement metrics: assessing a programming language's support of the stepwise refinement process

CSC '90 Proceedings of the 1990 ACM annual conference on Cooperation
Program development by stepwise refinement

Communications of the ACM
Syntax of Programming Languages: Theory and Practice

Syntax of Programming Languages: Theory and Practice
Elements of Software Science (Operating and programming systems series)

Elements of Software Science (Operating and programming systems series)

Stepwise Refinement and Problem Solving

IEEE Software

Quantified Score

Hi-index	0.00

Visualization

Abstract