OPUS - Passau

Bibliographische Daten und PDF-Volltexte aus der Universität Passau
... die Wissenschaft der Hochschule sichtbar machen!

Home

Suchen

Melden

Veröffentlichen

Hilfe

Kontakt

OPUS-Frontdoor

Fischer, Bernd

Deduction-Based Software Component Retrieval

Open Access: Freier Zugang zum Volltext!

pdf-Format:

Dokument 1.pdf (1.036 KB)

SWD-Schlagwörter:		Software engineering , Komponente <Software> , Softwarewiederverwendung , Formale Spezifikationstechnik , Information Retrieval , Automatisches Beweis
Freie Schlagwörter (Englisch):		software reuse , software component retrieval , automated theorem provingvng
Beteiligte Einrichtung:		Mitarbeiter Lehrstuhl/Einrichtung der Fakultät für Informatik und Mathematik
Fakultät:		Fakultät für Informatik und Mathematik
DDC-Sachgruppe:		Informatik
Dokumentart:		Dissertation
Hauptberichter:		Snelting, Gregor (Prof. Dr.)
Sprache:		Englisch
Tag der mündlichen Prüfung:		01.06.2001
Erstellungsjahr:		2001
Publikationsdatum:		16.06.2003
Bemerkung:		Die Dissertation wurde in OPUS Passau am 26.2.2002 veröffentlicht. Der Eintrag Publikationsdatum 11.06.2003 ist durch Serverumstellung/Datenbankwechsel entstanden.
Kurzfassung auf Englisch:		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.
Kurzfassung auf Deutsch:		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.

Hinweis zum Urheberrecht

URN: http://nbn-resolving.de/urn:nbn:de:bvb:739-opus-231
URL dieser Seite: http://www.opus-bayern.de/uni-passau/volltexte/2003/23/