Storing and retrieving software components: a refinement based system

A. Mili, R. Mili

Research output: Chapter in Book/Report/Conference proceedingConference contribution

39 Scopus citations

Abstract

Software reuse poses a number of challenges, ranging from managerial to technical -- not least of these is the problem of storing and retrieving software components in a time efficient manner. This paper presents the design and implementation of an automated software repository, where software components can be automatically stored and retrieved. this repository is based on a formal representation of programs and their specifications, as well as a refinement ordering of these specifications.

Original languageEnglish (US)
Title of host publicationProceedings - International Conference on Software Engineering
PublisherPubl by IEEE
Pages91-100
Number of pages10
ISBN (Print)081865855X
StatePublished - 1994
Externally publishedYes
EventProceedings of the 16th International Conference on Software Engineering - Sorrento, Italy
Duration: May 16 1994May 21 1994

Publication series

NameProceedings - International Conference on Software Engineering
ISSN (Print)0270-5257

Other

OtherProceedings of the 16th International Conference on Software Engineering
CitySorrento, Italy
Period5/16/945/21/94

All Science Journal Classification (ASJC) codes

  • Software

Fingerprint

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

Cite this