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