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 language | English (US) |
---|---|
Title of host publication | Proceedings - International Conference on Software Engineering |
Publisher | Publ by IEEE |
Pages | 91-100 |
Number of pages | 10 |
ISBN (Print) | 081865855X |
State | Published - Jan 1 1994 |
Externally published | Yes |
Event | Proceedings of the 16th International Conference on Software Engineering - Sorrento, Italy Duration: May 16 1994 → May 21 1994 |
Other
Other | Proceedings of the 16th International Conference on Software Engineering |
---|---|
City | Sorrento, Italy |
Period | 5/16/94 → 5/21/94 |
All Science Journal Classification (ASJC) codes
- Software