Retrieval of software module functions using first-order predicate logical formulae
This paper introduces a method to retrieve software modules from a module library in order to reuse them for new software. It is effective for a programming environment in which specifications of software modules are formalized using first-order predicate logical formulae. This method uses resolution and heuristics to determine reusability of current modules in the library. A prototype system has been developed using C-Prolog on a VAX11/780.
KeywordsSoftware Module Recursive Call Logical Formula Unit Clause Module Library
Unable to display preview. Download preview PDF.
- Chang C, et al. Symbolic logic and mechanical theorem proving, Academic Press, U.S.A. 1973.Google Scholar
- Enomoto H, et al. NATURAL LANGUAGE BASED SOFTWARE DEVELOPMENT SYSTEM TELL, ICOT TR-067, Tokyo, 1984.Google Scholar
- Sugimoto M, et al. Design concept for software development consultation system, ICOT TR-071, Tokyo, 1984.Google Scholar