STORING AND RETRIEVING SOFTWARE COMPONENTS - A REFINEMENT BASED SYSTEM

Authors
MILI R MILI A MITTERMEIR RT
Citation
R. Mili et al., STORING AND RETRIEVING SOFTWARE COMPONENTS - A REFINEMENT BASED SYSTEM, IEEE transactions on software engineering, 23(7), 1997, pp. 445-460
Citations number
67
Categorie Soggetti
Computer Sciences","Engineering, Eletrical & Electronic","Computer Science Software Graphycs Programming
Journal title
IEEE transactions on software engineering → ACNP
ISSN journal
00985589
Volume
23
Issue
7
Year of publication
1997
Pages
445 - 460
Database
ISI
SICI code
0098-5589(1997)23:7<445:SARSC->2.0.ZU;2-2
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 difficul t to maintain adequate precision and recall with informal retrieval al gorithms. 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 speci fications.