A specification matching based approach to reverse engineering

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

A specification matching based approach to reverse engineering

Full text

Pdf (1.27 MB)

Source

International Conference on Software Engineering archive
Proceedings of the 21st international conference on Software engineering table of contents

Los Angeles, California, United States

Pages: 389 - 398

Year of Publication: 1999

ISBN:1-58113-074-0

Authors

Gerald C. Gannod	Computer Science and Engineering, Arizona State University, Box 875406, Tempe, AZ
Betty H. C. Cheng	Computer Science and Engineering, Michigan State University, 3115 Engineering Building, East Lansing, MI

Sponsors

IEEE-CS : Computer Society
IEEE-CS\TCSE : TC on Software Engineering
SIGADA: ACM Special Interest Group on Ada Programming Language
SIGSOFT: ACM Special Interest Group on Software Engineering
SIGPLAN: ACM Special Interest Group on Programming Languages

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 3, Downloads (12 Months): 37, Citation Count: 3

Additional Information:

references cited by index terms collaborative colleagues

Tools and Actions:	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/302405.302661 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	Ira D. Baxter , Michael Mehlich, Reverse Engineering is Reverse Forward Engineering, Proceedings of the Fourth Working Conference on Reverse Engineering (WCRE '97), p.104, October 06-08, 1997
	2	J. Bowen, P. Breuer, and K. Lano. The REDO Project: Final Report. Technical Report PRG-TR-23-91, Oxford University, 1991.
	3	E. J. Byrne. A Conceptual Foundation for Software Reengineering. In Proceedings for the Conference on Sojbvare Maintenance, pages 226-235. IEEE, 1992.
	4	Yonghao Chen , B. H. C. Cheng, Facilitating an automated approach to architecture-based software reuse, Proceedings of the 12th international conference on Automated software engineering (formerly: KBSE), p.238, November 02-05, 1997
	5	Elliot J. Chikofsky , James H. Cross II, Reverse Engineering and Design Recovery: A Taxonomy, IEEE Software, v.7 n.1, p.13-17, January 1990 [doi>10.1109/52.43044]
	6	Edsger W. Dijkstra , Carel S. Scholten, Predicate calculus and program semantics, Springer-Verlag New York, Inc., New York, NY, 1990
	7	G. Gannod , Y. Chen , B. Cheng, An Automated Approach for Supporting Software Reuse via Reverse Engineering, Proceedings of the 13th IEEE international conference on Automated software engineering, p.94, October 13-16, 1998
	8	G. C. Gannod , B. H. C. Cheng, Strongest postcondition semantics as the formal basis for reverse engineering, Proceedings of the Second Working Conference on Reverse Engineering, p.166, July 14-16, 1995
	9	G. C. Gannod and B. H. C. Cheng. A specification matching based approach to reverse engineering. Technical Report MSUCPS-TR98-15; Michigan State University, April 1998.
	10	John V. Guttag , James J. Horning, Larch: languages and tools for formal specification, Springer-Verlag New York, Inc., New York, NY, 1993
	11	J. Jeng and B. H. C. Cheng. Using Automated Reasoning Techniques to Determine Software Reuse. International Journal of Software Engineering and Knowledge Engineering, 2(4):523-546, December 1992.
	12	Jun-Jang Jeng , Betty H. C. Cheng, Specification matching for software reuse: a foundation, Proceedings of the 1995 Symposium on Software reusability, p.97-105, April 29-30, 1995, Seattle, Washington, United States
	13	N. G. Leveson , C. S. Turner, An Investigation of the Therac-25 Accidents, Computer, v.26 n.7, p.18-41, July 1993 [doi>10.1109/MC.1993.274940]
	14	Rym Mili , Ali Mili , Roland T. Mittermeir, Storing and Retrieving Software Components: A Refinement Based System, IEEE Transactions on Software Engineering, v.23 n.7, p.445-460, July 1997 [doi>10.1109/32.605762]
	15	Sam Owre , John M. Rushby , Natarajan Shankar, PVS: A Prototype Verification System, Proceedings of the 11th International Conference on Automated Deduction: Automated Deduction, p.748-752, June 15-18, 1992
	16	J. Penix and P Alexander. Toward Automated Component Adaptation. In Proceedings of the 9th International Conference on Software Engineering and Knowledge Engineering, June 1997.
	17	Alex Quilici, A memory-based approach to recognizing programming plans, Communications of the ACM, v.37 n.5, p.84-93, May 1994 [doi>10.1145/175290.175301]
	18	Report by the Inquiry Board. ARIANE 5 Flight 501 Failure. Technical report, European Space Agency, 1996. J.L. Lions, Chairman of the Board.
	19	Charles Rich , Richard C. Waters, The programmer's apprentice, ACM Press, New York, NY, 1990
	20	D. R. Smith and E. A. Parra. Transformational Approach to Transportation Scheduling. In Proceedings of the 8th Knowledge-Based Sojbvare Engineering Conference, pages 60-68, Sept 1993.
	21	M. Ward. Abstracting a Specification from Code. Journal of Software Maintenance: Research and Practice, 5:101-122, 1993.
	22	Jeannette M. Wing, A Specifier's Introduction to Formal Methods, Computer, v.23 n.9, p.8-23, September 1990 [doi>10.1109/2.58215]
	23	Amy Moormann Zaremski , Jeannette M. Wing, Specification matching of software components, ACM Transactions on Software Engineering and Methodology (TOSEM), v.6 n.4, p.333-369, Oct. 1997 [doi>10.1145/261640.261641]

CITED BY 3

	Gerald C. Gannod , Robyn R. Lutz, An approach to architectural analysis of product lines, Proceedings of the 22nd international conference on Software engineering, p.548-557, June 04-11, 2000, Limerick, Ireland
	Michael D. Ernst , Jake Cockrell , William G. Griswold , David Notkin, Dynamically Discovering Likely Program Invariants to Support Program Evolution, IEEE Transactions on Software Engineering, v.27 n.2, p.99-123, February 2001
	Christoph Csallner , Nikolai Tillmann , Yannis Smaragdakis, DySy: dynamic symbolic execution for invariant inference, Proceedings of the 30th international conference on Software engineering, May 10-18, 2008, Leipzig, Germany