@phdthesis{Fischer2001, author = {Fischer, Bernd}, title = {Deduction-Based Software Component Retrieval}, url = {http://nbn-resolving.de/urn:nbn:de:bvb:739-opus-231}, school = {Universit{\"a}t Passau}, year = {2001}, abstract = {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.}, subject = {Software engineering}, language = {en} }