Advertisement

Retrieval of software module functions using first-order predicate logical formulae

  • H. Yoshida
  • H. Kato
  • M. Sugimoto
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 221)

Abstract

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.

Keywords

Software Module Recursive Call Logical Formula Unit Clause Module Library 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Chang C, et al. Symbolic logic and mechanical theorem proving, Academic Press, U.S.A. 1973.Google Scholar
  2. Enomoto H, et al. NATURAL LANGUAGE BASED SOFTWARE DEVELOPMENT SYSTEM TELL, ICOT TR-067, Tokyo, 1984.Google Scholar
  3. Sugimoto M, et al. Design concept for software development consultation system, ICOT TR-071, Tokyo, 1984.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1986

Authors and Affiliations

  • H. Yoshida
    • 1
  • H. Kato
    • 1
  • M. Sugimoto
    • 1
  1. 1.FUJITSU LIMITEDKawasakiJapan

Personalised recommendations