Specification Matching for Software Reuse: A Foundation (1995)
| Venue: | In Proceedings of the ACM Symposium on Software Reuse |
| Citations: | 30 - 3 self |
BibTeX
@INPROCEEDINGS{Jeng95specificationmatching,
author = {Jun-Jang Jeng and Betty H. C. Cheng},
title = {Specification Matching for Software Reuse: A Foundation},
booktitle = {In Proceedings of the ACM Symposium on Software Reuse},
year = {1995},
pages = {97--105},
publisher = {ACM Press}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Using formal specifications to represent software components facilitates the determination of reusability because they more precisely characterize the functionality of the software, and the well-defined syntax makes processing amenable to automation. We present specification matching as a method for classification, retrieval, and modification of reusable components. A software component is specified in terms of order-sorted predicate logic. For both components and methods, we consider not only exact match, but also relaxed match and logical match for performing specification matching over a library of reusable software components. 1 Introduction Software reuse has been claimed to be a means for overcoming the software crisis [1, 2]. However, current techniques to represent and manage software component libraries are not sufficient. Information retrieval methods based on analyses of natural-language documentation have been proposed [3, 4] for constructing software libraries. Unfortuna...
