Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
S. I. Feldman, “make — a program for maintaining computer programs”, Software — Practice & Experience, vol. 9, pp. 255–265, 1979.
P. Singleton, “Applications of Meta-Programming to the Construction of Software Products from Generic Configurations”, Ph.D. Thesis, Keele University, 1992.
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.
W. F. Tichy, “RCS — A System for Version Control”, Software — Practice & Experience, vol. 15, no. 7, pp. 637–654, 1985.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1995 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Brereton, P., Singleton, P. (1995). Deductive software building. In: Estublier, J. (eds) Software Configuration Management. SCM SCM 1993 1995. Lecture Notes in Computer Science, vol 1005. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-60578-9_6
Download citation
DOI: https://doi.org/10.1007/3-540-60578-9_6
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-60578-2
Online ISBN: 978-3-540-47768-6
eBook Packages: Springer Book Archive