Conference Papers: High-Precision Retrieval for High-Quality Software

[fischer95sqc]Bernd Fischer, Matthias Kievernagel, Werner Struckmann, High-Precision Retrieval for High-Quality Software, I. M. Marshall, W. B. Samson and D. G. Edgar-Nevill (Ed.), 5th Software Quality Conference, pp. 80--88, Dundee, Scotland, July 1995.


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.



Authors at the institute

Former Staff Member
Prof. Dr. rer. nat. Bernd Fischer