Deduction-Based Software Component Retrieval
Deduction-Based Software Component Retrieval
- 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.
- 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.
Author: | Bernd Fischer |
---|---|
URN: | urn:nbn:de:bvb:739-opus-231 |
Advisor: | Gregor Snelting |
Document Type: | Doctoral Thesis |
Language: | English |
Year of Completion: | 2001 |
Date of Publication (online): | 2002/02/26 |
Publishing Institution: | Universität Passau |
Granting Institution: | Universität Passau, Fakultät für Informatik und Mathematik |
Date of final exam: | 2001/06/01 |
Release Date: | 2003/06/16 |
Tag: | automated theorem provingvng; software component retrieval; software reuse |
GND Keyword: | Software engineering; Komponente <Software>; Softwarewiederverwendung; Formale Spezifikationstechnik; Information Retrieval; Automatisches Beweis |
Institutes: | Fakultät für Informatik und Mathematik / Mitarbeiter Lehrstuhl/Einrichtung der Fakultät für Informatik und Mathematik |
Dewey Decimal Classification: | 0 Informatik, Informationswissenschaft, allgemeine Werke / 00 Informatik, Wissen, Systeme / 004 Datenverarbeitung; Informatik |
open_access (DINI-Set): | open_access |
Licence (German): | Standardbedingung laut Einverständniserklärung |