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.

Level thesis:degree_level

thesis.doctoral

Grantor dc:publisher

Universität Passau

Year

2001

Author dc:creator

• Fischer, Bernd

Contributors dc:contributor

• Snelting, Gregor

• software reuse
• software component retrieval
• automated theorem provingvng

Statement dc:rights

• Standardbedingung laut Einverständniserklärung

Repository record source_url

https://opus4.kobv.de/opus4-uni-passau/frontdoor/index/index/docId/20

OAI identifier oai:identifier

oai:kobv.de-opus4-uni-passau:20