Issue No.07 - July (1997 vol.23)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/32.605762
<p><b>Abstract</b>—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.</p>
Software libraries, software reuse, software components storage and retrieval, formal specifications, refinement ordering.
Rym Mili, Ali Mili, Roland T. Mittermeir, "Storing and Retrieving Software Components: A Refinement Based System", IEEE Transactions on Software Engineering, vol.23, no. 7, pp. 445-460, July 1997, doi:10.1109/32.605762