The partial metrics system: modeling the stepwise refinement process using partial metrics

Authors:
Robert G. Reynolds
Affiliations:
Wayne State Univ., Detroit, MI
Venue:
Communications of the ACM
Year:
1987

Citing 15
Cited 7

Sequential program structures

Sequential program structures
Metrics to measure the complexity of partial programs

Journal of Systems and Software
A 15 Year Perspective on Automatic Programming

IEEE Transactions on Software Engineering - Special issue on artificial intelligence and software engineering
Software design and development

Software design and development
Software complexity measurement

Communications of the ACM
KBEmacs: Where's the AI?

AI Magazine
PROUST: An automatic debugger for Pascal programs

Artificial intelligence and instruction: Applications and methods
Pascal: an introduction to methodical programming; (3rd ed.)

Pascal: an introduction to methodical programming; (3rd ed.)
A structured approach to programming

A structured approach to programming
PARTIAL: a tool to support the metrics driven design of Ada programs

CSC '86 Proceedings of the 1986 ACM fourteenth annual conference on Computer science
Program Transformation Systems

ACM Computing Surveys (CSUR)
Program development by stepwise refinement

Communications of the ACM
Softwear Reliability

Softwear Reliability
Data Structures and Algorithms

Data Structures and Algorithms
Data Structures and PL-1 Programming

Data Structures and PL-1 Programming

The application of classifier systems to the acquisition of software engineering knowledge

IEA/AIE '88 Proceedings of the 1st international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 1
Recent advances in software measurement (abstract and references for talk)

ICSE '90 Proceedings of the 12th international conference on Software engineering
An object-oriented approach to the acquisition of software engineering knowledge

CSC '91 Proceedings of the 19th annual conference on Computer Science
An empirical study of the use of problem reduction as a paradigm for problem solving in software engineering

CSC '91 Proceedings of the 19th annual conference on Computer Science
Quality measures in design: finding problems before coding

ACM SIGSOFT Software Engineering Notes
Stepwise Refinement and Problem Solving

IEEE Software
PM: A System to Support the Automatic Acquisition of Programming Knowledge

IEEE Transactions on Knowledge and Data Engineering

Quantified Score

Hi-index	48.22

Visualization

Abstract

The Partial Metrics System design is explained, with an emphasis on the refinement process. A model, with its three phases, shows that the pseudocode refinement process can be monitored in partial metric terms.