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.

Metadaten
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

Open Access