IEEE - Institute of Electrical and Electronics Engineers, Inc. - NORA/HAMMR: making deduction-based software component retrieval practical

Proceedings 12th IEEE International Conference Automated Software Engineering

Author(s): Schumann, J. ; Fischer, B.
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 January 1997
Conference Location: Incline Village, NV, USA, USA
Conference Date: 1 November 1997
Page(s): 246 - 254
ISBN (Paper): 0-8186-7961-1
DOI: 10.1109/ASE.1997.632845
Regular:

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... View More

Advertisement