An Automated Approach for Supporting Software Reuse via Reverse Engineering

Formal approaches to software reuse rely heavily upon specificationmatchingcriterion, where asearch query using formal specifications is used to search a library of components indexed by specifications. In previous investigations, we addressed the use of formal methods and component libraries to support software reuse and construction of software based on component specifications. A difficulty for all formal approaches to software reuse is the creation of the formal indices. We have developed an approach to reverse engineering thatis based on the use of formalmethods to derive formal specifications of existing programs. In this paper, we present an approach for combining software reverse engineering and software reuse to support populating specificationlibraries for the purposes of software reuse. In addition,we discuss the results of our initialinvestigationsinto the use of tools to support an entire process of populating and using a specification library to construct a software appl...

• Type: Conference
• Year: 1998
• Where: KBSE
• Authors: Gerald C. Gannod, Yonghao Chen, Betty H. C. Cheng
• Keywords: Formal Approaches, Formal Specifications, KBSE 1998, Software Engineering, Software Reuse