KIT | KIT-Bibliothek | Impressum | Datenschutz

VCR: A VDM-based software component retrieval tool

Fischer, Bernd; Kievernagel, Matthias; Struckmann, Werner

We present a tool which allows implicit VDM specifications to be used as search keys for the retrieval of software components. A preprocessing phase utilizes signature matching to filter promising candidates out of a component library. The actual specification matching phase builds proof obligations from the specifications of key and candidates and feeds them into a theorem prover. Validated obligations denote matching components. First experiments clearly demonstrate the feasibility of this approach. We thus get a high-precision retrieval tool which helps programmers in locating components which exactly match their needs.

Zugehörige Institution(en) am KIT Institut für Programmstrukturen und Datenorganisation (IPD)
Publikationstyp Proceedingsbeitrag
Publikationsjahr 1995
Sprache Englisch
Identifikator KITopen-ID: 1000017601
Erschienen in ICSE 17 Workshop on Formal Methods Application in Software Engineering Practice, 24 - 25 April 1995, Seattle, Washington USA. Ed.: M. Wirsing
Seiten 30 - 38
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page