Thomas Baar, Bernd Fischer, Dirk Fuchs, Abt Softwaretechnologie, Tu Braunschweig, ...
Abstract. We describe a combination of the NORA/HAMMR software component retrieval tool and the ILF system which provides the necessary infrastructure to apply different first-order theorem provers...
Solving Software Reuse Problems with Theorem Provers (2007)
Thomas Baar, Bernd Fischer, Abt Softwaretechnologie, Tu Braunschweig
Abstract. For a challenging application, the software component retrieval, we present a powerful solution by combining two systems. The NORA/HAMMR-tool handles all aspects concerning with the logical...
Solving Software Reuse Problems with Theorem Provers (2007)
Thomas Baar, Bernd Fischer, Abt Softwaretechnologie, Tu Braunschweig
In NORA/HAMMR, we investigate the application of automated theorem provers to retrieve software components based on their formal specifications. The problem pro le has major impacts on the problem...
Specification-Based Browsing of Software Component Libraries (1998)
Bernd Fischer, Abt Softwaretechnologie, Tu Braunschweig
Specification-based retrieval provides exact content-oriented access to component libraries but requires too much deductive power. Specification-based browsing evades this bottleneck by moving any...
Specification-Based Browsing of Software Component Libraries (1998)
Bernd Fischer, Abt Softwaretechnologie, Tu Braunschweig
Specification-based retrieval provides exact content-oriented access to component libraries but requires too much deductive power. Specification-based browsing evades this bottleneck by moving any...
Specification-Based Browsing of Software Component Libraries (1998)
Bernd Fischer Abt, Bernd Fischer, Abt Softwaretechnologie, Tu Braunschweig
Specification-based retrieval provides exact contentoriented access to component libraries but requires too much deductive power. Specification-based browsing evades this bottleneck by moving any...
NORA/HAMMR: Making deduction-based software component retrieval practical (1997)
Johann Schumann, Bernd Fischer, Abt Softwaretechnologie, Tu Braunschweig
Deduction-based software component retrieval uses preand postconditions as indexes and search keys and an automated theorem prover (ATP) to check whether a component matches. This idea is very simple...
NORA/HAMMR: Making Deduction-Based Software Component Retrieval Practical
Bernd Fischer, Abt Softwaretechnologie, Tu Braunschweig, Johann Schumann
Deduction-based software component retrieval uses pre- and postconditions as indexes and search keys and an automated theorem prover (ATP) to check whether a component matches. This idea is very...