Title
Formalizing and automating component reuse
Abstract
Using existing components to construct software systems has significant potential to improving software productivity and quality. A key problem in software component reuse is the selection of appropriate components for satisfying a given requirement. In this paper, we define a component interface generality relation that provides a foundation for component selection. This generality relation, represented in terms of formal specifications, precisely captures the semantic obligations for an existing component to satisfy the requirements of a target system. The formal specifications facilitate the (semi-) automatic determination of the generality relation. We show how this generality relation has been used to determine the reusability of software components in a software architecture-based reuse and integration environment.
Year
DOI
Venue
1997
10.1109/TAI.1997.632242
Newport Beach, CA
Keywords
Field
DocType
software systems,software productivity,software quality,integration environment,formal specifications,component reuse automation,semantic obligations,software architecture-based reuse,software reusability,formal specification,component interface generality relation
Software engineering,Reuse,Computer science,Computer network
Conference
Volume
Issue
ISSN
21
2
1082-3409
ISBN
Citations 
PageRank 
0-8186-8203-5
9
0.88
References 
Authors
11
2
Name
Order
Citations
PageRank
Yonghao Chen1342.69
Betty H. C. Cheng23345191.44