kirancodes.me
To Proof Maintenance & Beyond!
ASE 1997

Retrieving Software Components that Minimize Adaptation Effort

Lamia Labed Jilani, Jules Desharnais, Marc Frappier, Rym Mili, Ali Mili

DOI 10.1109/ase.1997.632846dblp

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.

BibTeX
@inproceedings{Jilani-al:ASE97,
  author    = {Lamia Labed Jilani and
               Jules Desharnais and
               Marc Frappier and
               Rym Mili and
               Ali Mili},
  title     = {Retrieving Software Components that Minimize Adaptation Effort},
  booktitle = {ASE},
  pages     = {255-},
  publisher = {{IEEE} Computer Society},
  year      = {1997},
}

Related papers