KIT | KIT-Bibliothek | Impressum | Datenschutz

High-Precision Retrieval for High-Quality Software

Fischer, Bernd; Kievernagel, Matthias; Struckmann, Werner


In this paper we present VCR, a high-precision retrieval tool which helps programmers to locate software components which exactly match their needs. It employs implicit VDM specifications as search keys and is thus especially well-suited for a formal software development process based on VDM's specify-refine-implement paradigm. VCR is designed as a filter-inspector-chain which is user-configurable through a graphical user interface. The filters realize deduction-based search methods such as signature matchers, model checkers, and theorem provers. The inspectors maintain links between subsequent filters and thus allow examination and reuse of intermediate retrieval results. First experiments demonstrate the feasibility of our approach.

Zugehörige Institution(en) am KIT Institut für Programmstrukturen und Datenorganisation (IPD)
Publikationstyp Proceedingsbeitrag
Publikationsjahr 1996
Sprache Englisch
Identifikator KITopen-ID: 1000017600
Erschienen in Proceedings of the 5th Software Quality Conference, 9 and 10 July 1996, Dundee, Scotland, UK. Ed.: I. M. Marshall
Verlag University of Abertay Dundee
Seiten 80 - 88
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page