Deductive software building

  • Pearl Brereton
  • Paul Singleton
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1005)


In this paper we present a deductive approach to modelling complex software systems. As well as highlighting the strengths of the approach in terms of configuration issues we also outline its potential contribution to an exploratory software development process.


Generic Configuration Deductive Database Software Item Deductive Modelling Abstract Interpreter 
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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [Feld79]
    S. I. Feldman, “make — a program for maintaining computer programs”, Software — Practice & Experience, vol. 9, pp. 255–265, 1979.Google Scholar
  2. [Sing92]
    P. Singleton, “Applications of Meta-Programming to the Construction of Software Products from Generic Configurations”, Ph.D. Thesis, Keele University, 1992.Google Scholar
  3. [Sing93]
    P. Singleton and O. P. Brereton, “Storage and Retrieval of First-Order Terms using a Relational Database”, in Proceedings of the Eleventh British National Conference on Databases, Lecture Notes in Computer Science (LNCS), vol. 696, pp. 199–219, Springer-Verlag, 1993.Google Scholar
  4. [Tich85]
    W. F. Tichy, “RCS — A System for Version Control”, Software — Practice & Experience, vol. 15, no. 7, pp. 637–654, 1985.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1995

Authors and Affiliations

  • Pearl Brereton
    • 1
  • Paul Singleton
    • 1
  1. 1.Department of Computer ScienceUniversity of KeeleKeeleUK

Personalised recommendations