A modification support system—automatic correction of side

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

A modification support system—automatic correction of side—effects caused by type modifications

Full text

Pdf (874 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: 154 - 160

Year of Publication: 1990

ISBN:0-89791-348-5

Authors

T. Tenma	Faculty of Engineering, Hiroshima University, Shitami Saijo-cho, Higashi-Hiroshima 724, Japan
Y. Sato	Faculty of Engineering, Hiroshima University, Shitami Saijo-cho, Higashi-Hiroshima 724, Japan
Y. Morimoto	Faculty of Engineering, Hiroshima University, Shitami Saijo-cho, Higashi-Hiroshima 724, Japan
M. Tanaka	Faculty of Engineering, Hiroshima University, Shitami Saijo-cho, Higashi-Hiroshima 724, Japan
T. Ichikawa	Faculty of Engineering, Hiroshima University, Shitami Saijo-cho, Higashi-Hiroshima 724, Japan

Sponsor

ACM: Association for Computing Machinery

Publisher

ACM New York, NY, USA

Bibliometrics

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

Additional Information:

abstract 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.100372 What is a DOI?

ABSTRACT

Programmers modify software for many reasons. When a part of a software is modified, side-effects of the modification are propagated to other parts of the software. By correcting these side-effects automatically, the productivity and the reliability of software development increases. This paper proposes an approach based on constraints and component-based software representation for detecting and correcting side-effects. A system based on the approach for type modifications is presented. The system is developed independent of a particular language.

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	G. Arangem I. Boxter, P. Freeman, and C. Pidgeon, "TMM: Software Maintenance by Transformation," IEEE Software, vol.3, no.3, pp.27-39 (May 1986).
	2	P. Freeman, A conceptual analysis of the Draco approach to constructing software systems, IEEE Transactions on Software Engineering, v.13 n.7, p.830-844, July 1987 [doi>10.1109/TSE.1987.233494]
	3	R. C. Water, 'The Programmer's Apprentice: A Session with KBEmacs," IEEE Transactions on Software Engineering, vol.SE-11, no.l l, pp.10-25 (Nov. 1988)
	4	Charles Rich , Richard C. Waters, The Programmer's Apprentice: A Research Overview, Computer, v.21 n.11, p.10-25, November 1988 [doi>10.1109/2.86782]
	5	Takao Tenma , Hideaki Tsubotani , Minoru Tanaka , Tadao Ichikawa, A System for Generating Language-Oriented Editors, IEEE Transactions on Software Engineering, v.14 n.8, p.1098-1109, August 1988 [doi>10.1109/32.7620]
	6	Thomas Reps , Tim Teitelbaum, The synthesizer generator, Proceedings of the first ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments, p.42-48, April 1984
	7	Adele Goldberg , David Robson, Smalltalk-80: the language and its implementation, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1983