Back to Search Start Over

Storing and Retrieving Software Components: A Refinement Based System.

Authors :
Mili, Rym
Mili, Ali
Mittermeir, Roland T.
Source :
IEEE Transactions on Software Engineering; Jul97, Vol. 23 Issue 7, p445-460, 16p
Publication Year :
1997

Abstract

Software libraries are repositories which contain software components; as such, they represent a precious resource for the software engineer. As software libraries grow in size, it becomes increasingly difficult to maintain adequate precision and recall with informal retrieval algorithms. In this paper, we discuss the design and implementation of a storage and retrieval structure for software components that is based on formal specifications and on the refinement ordering between specifications. [ABSTRACT FROM AUTHOR]

Details

Language :
English
ISSN :
00985589
Volume :
23
Issue :
7
Database :
Complementary Index
Journal :
IEEE Transactions on Software Engineering
Publication Type :
Academic Journal
Accession number :
11936695
Full Text :
https://doi.org/10.1109/32.605762