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