Title :
Storing and retrieving software components: a refinement based system
Author :
Mili, A. ; Mili, R. ; Mittermeir, R.
Author_Institution :
Ottawa Univ., Ont., Canada
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
Keywords :
formal specification; software reusability; subroutines; automated software repository; formal program representation; refinement based system; refinement ordering; software component retrieval; software component storage; software reuse; specifications; time efficient; Application software; Formal specifications; Information retrieval; Personnel; Proposals; Refining; Software quality; Spatial databases;
Conference_Titel :
Software Engineering, 1994. Proceedings. ICSE-16., 16th International Conference on
Conference_Location :
Sorrento
Print_ISBN :
0-8186-5855-X
DOI :
10.1109/ICSE.1994.296769
