An automated approach for supporting software reuse via reverse engineering

Proceedings - 13th IEEE International Conference on Automated Software Engineering, ASE 1998

Volumn 1998-October, Issue , 1998, Pages 94-103

  Gannod, Gerald C ^a   Chen, Yonghao ^b   Cheng, Betty H C ^b  

^a Arizona State University   (United States)

^b Michigan State University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

APPLICATION PROGRAMS; AUTOMATION; FORMAL SPECIFICATION; LIBRARIES; REVERSE ENGINEERING;

AUTOMATED APPROACH; COMPONENT LIBRARIES; COMPONENT SPECIFICATION; FORMAL APPROACH; SEARCH QUERIES; SOFTWARE APPLICATIONS; SOFTWARE REVERSE ENGINEERING; SPECIFICATION MATCHING;

COMPUTER SOFTWARE REUSABILITY;

EID: 84951193536     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ASE.1998.732586     Document Type: Conference Paper

References (26)

1. E. J. Byrne. A Conceptual Foundation for Software Reengineering. In Proceedings for the Conference on Software Maintenance, pages 226-235. IEEE, 1992.
2. Y. Chen and B. H. C. Cheng. Facilitating an automated approach to architecture-based software reuse. In Proceedings of the 12th International Conference on Automated Software Engineering, 1997.
3. Y. Chen and B. H. C. Cheng. Formalizing and automating component reuse. In Proc. of 9th IEEE Intl. Conference on Tools with Artificial Intelligence, November 1997.
4. E. J. Chikofsky and J. H. Cross. Reverse Engineering and DesignRecovery: A Taxonomy. IEEE Software, 7(1):13-17, January 1990.
5. E. W. Dijkstra and C. S. Scholten. Predicate Calculus and Program Semantics. Springer-Verlag, 1990.
6. B. Fischer,M. Kievernagel, andW. Struckmann. Deduction-Based Software Component Retrieval. In Proceedings of IJCAI '95 Workshop on Formal Approaches to the Reuse of Plans, Proofs, and Programs,August 1995.
7. G. C. Gannod, Y. Chen, and B. Cheng. An automated approach for supporting software reuse via reverse engineering. Technical Report MSUCPS:TR98-16, Michigan State University, Department of Computer Science and Engineering, May 1998.
8. G. C.Gannod andB.H. C. Cheng. Strongest Postcondition as the Formal Basis for Reverse Engineering. Journal of Automated Software Engineering, 3(1/2):139-164, June 1996.
9. A preliminary version appearedin the Proceedingsfor the IEEE Second Working Conference on Reverse Engineering, July 1995.
10. G. C. Gannod and B. H. C. Cheng. Using Informal and FormalMethods for the Reverse Engineering of C Programs. In Proceedings of the 1996 International Conferenceon Software Maintenance, pages 265-274. IEEE, 1996. Also appears in the Proceedings for the Third IEEE Working Conference on Reverse Engineering.
11. 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.
12. J. Guttag and J. Horning. Larch: Languages and Tools for Formal Specification. Springer-Verlag, 1993.
13. 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.
14. J. Jeng and B. H. C. Cheng. Using Formal Methods to Construct a Software Component Library. Proc. of Fourth European Software Engineering Conference, September 1993. Published in Lecture Notes of Computer Science by Springer-Verlag.
15. J.-J. Jeng and B. H. Cheng. SpecificationMatching for Software Reuse: A Foundation. In Proceedings of the ACMSymposium on Software Reuse, pages 97-105, 1995.
16. C. W. Krueger. Software reuse. ACM Computing Surveys, 24(2), June 1992.
17. Microsoft Corporation. Microsoft Visual C++ MFC Library Reference, Part 1 & 2, 1997.
18. A. Mili, R. Mili, and R. T.Mittermeir. Storing and Retrieving Software Components: A Refinement Based System. IEEE Transactions on Software Engineering, 23(7), July 1997.
19. J. M. Neighbors. Finding reusable components in large systems. In Proceedings of the Third IEEE WorkingConference on Reverse Engineering,pages 2-10. IEEE,November 1996.
20. J. Penix and P. Alexander. Toward Automated Component Adaptation. In Proceedings of the 9th International Conference on Software Engineering and Knowledge Engineering, June 1997.
21. D. R. Smith and E. A. Parra. Transformational Approach to Transportation Scheduling. In Proceedings of the 18th Knowledge-Based Software Engineering Conference, pages 60-68, Sept 1993.
22. M.A.Weiss. Algorithms,Data Structures,and ProblemSolving with C++. Addison-Wesley Publishing Company, Inc., 1996.
23. J. M. Wing. A Specifier's Introduction to Formal Methods. IEEE Computer, 23(9):8-24, September 1990.
24. H. Yang, P. Luker, and W. C. Chu. Code understanding through program transformation for reusable component identification. In Proceedings of the Fifth IEEE InternationalWorkshop on Program Comprehension, pages 148-157. IEEE, May 1997.
25. E. Yourdon and L. Constantine. Structured Analysis and Design: Fundamentals Discipline of Computer Programs and System Design. Yourdon Press, 1978.
26. A. M. Zaremski and J. M. Wing. Specification Matching of Software Components. In Proceedings of the 3rd ACM SIGSOFT Symposium on the Foundations of Software Engineering, 1995.