Sciweavers

Share
KBSE
1998
IEEE

An Automated Approach for Supporting Software Reuse via Reverse Engineering

9 years 6 months ago
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...
Gerald C. Gannod, Yonghao Chen, Betty H. C. Cheng
Added 05 Aug 2010
Updated 05 Aug 2010
Type Conference
Year 1998
Where KBSE
Authors Gerald C. Gannod, Yonghao Chen, Betty H. C. Cheng
Comments (0)
books