Paper Info
Title
An automated approach for supporting software reuse via reverse engineering
Abstract
Formal approaches to software reuse rely heavily upon a specification matching criterion, where a search 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 that is based on the use of formal methods 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 specification libraries for the purposes of software reuse. In addition, we discuss the results of our initial investigations into the use of tools to support an entire process of populating and using a specification library to construct a software application
Year
DOI
Venue
1998
10.1109/ASE.1998.732586
Honolulu, HI
Keywords
Field
DocType
computer aided software engineering,formal specification,reverse engineering,software libraries,software reusability,software tools,automated software reuse support,component library searching,component specifications,formal indices,formal methods,formal specifications,indexing,reverse engineering,search query,software application construction,software tools,specification libraries,specification matching criterion
Programming language,Software engineering,Systems engineering,Computer science,Package development process,Formal specification,Formal methods,Component-based software engineering,Software verification and validation,Software construction,Software requirements specification,Software development
Conference
ISBN
Citations 
PageRank 
0-8186-8750-9
9
0.83
References 
Authors
26
3
Name
Order
Citations
PageRank
gerald c gannod1867.76
Yonghao Chen2342.69
Betty H. C. Cheng352566.07