Title :
Storing and retrieving software components: a refinement based system
Author :
Mili, Rym ; Mili, Ali ; Mittermeir, Roland T.
Author_Institution :
Southwestern Med. Center, Texas Univ., Dallas, TX, USA
fDate :
7/1/1997 12:00:00 AM
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
Keywords :
formal specification; information retrieval; software libraries; software reusability; formal specifications; informal retrieval algorithms; precision; recall; refinement based system; refinement ordering; software component retrieval; software component storage; software libraries; software repositories; software reuse; Application software; Computer languages; Formal specifications; Humans; Information retrieval; Information science; Maintenance engineering; Software algorithms; Software libraries; Software maintenance;
Journal_Title :
Software Engineering, IEEE Transactions on
