Abstract
Given a software library whose entries are represented by formal specifications, we distinguish between two retrieval procedures: exact retrieval, whereby, given a query K, we identify all the library components that are correct with respect to K; approximate retrieval, which is invoked when exact retrieval fails, and identifies the library components that minimize adaptation effort. To this effect, we define four measures of functional distance between specifications, and discuss algorithms that minimize these measures over a set of components; then we discuss whether these measures can be used to predict adaptation effort.
Original language | English (US) |
---|---|
Pages | 255-262 |
Number of pages | 8 |
State | Published - 1997 |
Externally published | Yes |
Event | Proceedings of the 1997 12th IEEE International Automated Software Engineering Conference, ASE - Incline Village, NV, USA Duration: Nov 3 1997 → Nov 5 1997 |
Other
Other | Proceedings of the 1997 12th IEEE International Automated Software Engineering Conference, ASE |
---|---|
City | Incline Village, NV, USA |
Period | 11/3/97 → 11/5/97 |
All Science Journal Classification (ASJC) codes
- General Computer Science
- General Engineering