TY - THES A1 - Fischer, Bernd T1 - Deduction-Based Software Component Retrieval T1 - Deduction-Based Software Component Retrieval N2 - Deduction-based software component retrieval is a software reuse technique that uses formal specifications as component descriptors and as search keys; matching components are identified using an automated theorem prover. This dissertation contains a detailed theoretical investigation of the concept as well as the first substantial experimental evaluation of its technical feasibility. N2 - Deduktionsbasiertes Kompenentenretrieval ist eine Softwarereusetechnik, in der formale Spezifikationen zur Beschreibung von Komponenten sowie als Anfragen verwendet werden; passende Komponenten werden mit Hilfe eines automatischen Theorembeweisers ermittelt. Diese Arbeit enthält eine detaillierte theoretische Untersuchung dieses Konzeptes und die erste ausführliche experimentelle Evaluierung seiner technischen Realisierbarkeit. KW - Software engineering KW - Komponente KW - Softwarewiederverwendung KW - Formale Spezifikationstechnik KW - Information Retrieval KW - Automatisches Beweis KW - software reuse KW - software component retrieval KW - automated theorem provingvng Y1 - 2002 UR - https://opus4.kobv.de/opus4-uni-passau/frontdoor/index/index/docId/20 UR - https://nbn-resolving.org/urn:nbn:de:bvb:739-opus-231 ER -