This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
Asirelli, P., De Santis, M., Martelli, M., Integrity Constraints in Logic Data Bases, Journal of Logic Programming, Vol. 2, no. 3, Oct. 1985.
Asirelli, P., Inverardi, P., A Logic Database to support Configuration Management in Ada, Proc.1987 Ada EUROPE Conference on Ada COMPONENTS: Libraries and Tools, Stockholm, 26–28 May, 1987, The Ada Companion Series, Cambridge University Press.
Asirelli, P., Inverardi, P., Ehnancing configuration facilities in software development: A logic approach, Proc.ESEC'87 1st European Software Engineering Conference, Strasbourg, 9–11 September, 1987, LNCS 289.
Asirelli, P., Inverardi, P., EDBLOG: a kernel for configuration environments, in [WSVCC 88].
Asirelli, P., Inverardi, P., Mustaro, A. Improving Integrity Constraint Checking in Deductive Databases Proc. Int. Conference on Database Theory, Brugge Belgium, Sep., 1988, LNCS 326.
Barstow, D., Artificial Intelligence and Software Engineering, Proc. 9th Annual International Conference on SOFTWARE ENGINEERING, Monterey, California, March 30-April 2, 1987.
CAIS1 Military Standard, Common APSE Interface Set, AJPO, 3rd version, 31st January, 1985.
ESPRIT, PCTE:A Basis for a Portable Common Tool Environment. Functional Specification. Third Edition 1985.
Gallaire, H., Minker, J., Nicolas, J., Logic and Databases: a Deductive Approach, Computing Surveys, 16, (2), pp. 153–185, 1984.
Giannini, F., Grifoni, E., Programmazione Logica in Ambiente di Sviluppo Software: Data Base Logici come Data Base di Progetto, Tesi di laurea, Corso di Laurea in Scienza dell'Informazione, Pisa 1986.
Lloyd, J. W., Sonenberg, E.,A., Topor, R. W., Integrity Constraint Checking in Stratified Databases, J. Logic Programming 4 (4): 331–343, 1987.
Kowalski, R. A., Logic for Data Description, in Logic and Databases (Gallaire, H. and Minker, J. Eds), Plenum Press, 1978.
Kowalski, R.A., Logic for Problem Solving, North Holland, Artificial Intelligence Series, N.J. Nilsson (Ed.), 1979.
Marzullo,K., Wiebe,D., Jasmine:A Software System Modelling Facility, Proc. ACM SIGSOFT/SIGPLAN Software Engeneering Symp. on Pract. Soft. Devel. Env., Palo Alto, CA, December 9–11, 1986.
Oberndorf, P.A., Penedo, M.H., Summary of Project Database Working Group Discussions, Proc. ACM AdaTEC Future Ada Environment Workshop, Santa Barbara, California, 17–20 Sept., 1984, ACM Ada Letters, Vol. IV, no. 5, 1985.
Scheifler, R.W. and Gettys J., The X Window System, ACM Trans. on Graphics, 5(2), pp. 79–109, 1986.
Winkler, J.F.H., Version Control in Families of Large Programs, Proc. 9th Annual Inte.Conf.on SOFT. ENG., Monterey, California, March 30-April 2, 1987.
Proc. Int. Workshop on Software Version and Configuration Control, Grassau (Munich), 27–29 Jan., J.F.H. Winkler (ed.), German Chap. ACM, Berichte 30, Teubner, 1988.
Tichy, W., Tools for Software Configuration Management, in [WSVCC 88].
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1989 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Asirelli, P., Inverardi, P. (1989). Using logic databases in software development environments. In: Deransart, P., Lorho, B., Małuszyński, J. (eds) Programming Languages Implementation and Logic Programming. PLILP 1988. Lecture Notes in Computer Science, vol 348. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-50820-1_54
Download citation
DOI: https://doi.org/10.1007/3-540-50820-1_54
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-50820-5
Online ISBN: 978-3-540-46092-3
eBook Packages: Springer Book Archive