Deductive software building
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.
KeywordsGeneric Configuration Deductive Database Software Item Deductive Modelling Abstract Interpreter
Unable to display preview. Download preview PDF.
- [Feld79]S. I. Feldman, “make — a program for maintaining computer programs”, Software — Practice & Experience, vol. 9, pp. 255–265, 1979.Google Scholar
- [Sing92]P. Singleton, “Applications of Meta-Programming to the Construction of Software Products from Generic Configurations”, Ph.D. Thesis, Keele University, 1992.Google Scholar
- [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
- [Tich85]W. F. Tichy, “RCS — A System for Version Control”, Software — Practice & Experience, vol. 15, no. 7, pp. 637–654, 1985.Google Scholar