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

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

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

Full text

Pdf (714 KB)

Source

ACM Annual Computer Science Conference archive
Proceedings of the 1990 ACM annual conference on Cooperation table of contents

Washington, D.C., United States

Pages: 82 - 88

Year of Publication: 1990

ISBN:0-89791-348-5

Authors

Robert G. Reynolds	Wayne Science University, Computer Science Department, Detriot, Mi
Jonathan I. Maletic	Wayne Science University, Computer Science Department, Detriot, Mi

Sponsor

ACM: Association for Computing Machinery

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 0, Downloads (12 Months): 7, Citation Count: 4

Additional Information:

references cited by index terms collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/100348.100361 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	Harlan D. Mills, Stepwise Refinement and Verification in Box-Structured Systems, Computer, v.21 n.6, p.23-36, June 1988 [doi>10.1109/2.948]
	2	Daniel M. Berry , Nancy Yavne , Moshe Yavne, Application of program design language tools to Abbott's method of program design by informal natural language descriptions, Journal of Systems and Software, v.7 n.3, p.221-247, September 1, 1987 [doi>10.1016/0164-1212(87)90044-6]
	3	B. MacLennan, "Simple metrics for Programming Languages", information Processing and Management, Vol. 20, No. 1/2, January, 1984, pp. 209-221.
	4	J.D. Gannon and J.J. Homing, "Language Design for Programming Reliability", IEEE-SE, Vol. 1, No. 2, 1975, pp. 179-191.
	5	J. D. Gannon, An experimental evaluation of data type conventions, Communications of the ACM, v.20 n.8, p.584-595, Aug. 1977 [doi>10.1145/359763.359800]
	6	Ben Shneiderman, Software psychology: Human factors in computer and information systems (Winthrop computer systems series), Winthrop Publishers, 1980
	7	J. E. Sammet, "Problems in, and a Pragmatic Approach to Programming Language Measurement", AFIPS Fall Joint Computer Conference, 1971, pp. 243-251.
	8	F. Harary, Graph Theory, Addison-Wesley Press, Reading, Mass., 1969.
	9	R. Reynolds, J. Malefic, S. Porvin, "PM: A Metrics Driven Plan Compiler", In the Proceedings for IEEE Workshop on Tools for A.I., Computer Society Press, Washington D.C. 1989.
	10	Roland C. Backhouse, Syntax of Programming Languages: Theory and Practice, Prentice-Hall, Inc., Upper Saddle River, NJ, 1979

CITED BY 4

	Steven E. Porvin , Robert G. Reynolds , Jonathan I. Maletic, An empirical study of the use of problem reduction as a paradigm for problem solving in software engineering, Proceedings of the 19th annual conference on Computer Science, p.618-629, April 1991, San Antonio, Texas, United States
	R. G. Reynolds , J. I. Maletic , S. E. Porvin, PM: A System to Support the Automatic Acquisition of Programming Knowledge, IEEE Transactions on Knowledge and Data Engineering, v.2 n.3, p.273-282, September 1990
	Robert G. Reynolds , Jonathan I. Maletic , Stephen E. Porvin, Stepwise Refinement and Problem Solving, IEEE Software, v.9 n.5, p.79-88, September 1992
	Robert G. Reynolds , Jonathan I. Maletic , Stephen E. Porvin, An object-oriented approach to the acquisition of software engineering knowledge, Proceedings of the 19th annual conference on Computer Science, p.78-84, April 1991, San Antonio, Texas, United States