An introduction to refinement metrics: assessing a programming language's support of the stepwise refinement process

Authors:
Robert G. Reynolds;Jonathan I. Maletic
Affiliations:
Wayne Science University, Computer Science Department, Detriot, Mi;Wayne Science University, Computer Science Department, Detriot, Mi
Venue:
CSC '90 Proceedings of the 1990 ACM annual conference on Cooperation
Year:
1990

Citing 5
Cited 4

Application of program design language tools to Abbott's method of program design by informal natural language descriptions

Journal of Systems and Software
Stepwise Refinement and Verification in Box-Structured Systems

Computer
An experimental evaluation of data type conventions

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

Syntax of Programming Languages: Theory and Practice
Software psychology: Human factors in computer and information systems (Winthrop computer systems series)

Software psychology: Human factors in computer and information systems (Winthrop computer systems series)

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
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	0.00

Visualization

Abstract