Storing and retrieving software components: a refinement based system

Rym Mili, Ali Mili, Roland T. Mittermeir

Research output: Contribution to journalArticlepeer-review

106 Scopus citations

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.

Original languageEnglish (US)
Pages (from-to)445-460
Number of pages16
JournalIEEE Transactions on Software Engineering
Volume23
Issue number7
DOIs
StatePublished - 1997
Externally publishedYes

All Science Journal Classification (ASJC) codes

  • Software

Keywords

  • Formal specifications
  • Refinement ordering
  • Software components storage and retrieval
  • Software libraries
  • Software reuse

Fingerprint

Dive into the research topics of 'Storing and retrieving software components: a refinement based system'. Together they form a unique fingerprint.

Cite this