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 |

