Using logic databases in software development environments

  • Patrizia Asirelli
  • Paola Inverardi
Logic Programming For Programming Environments
Part of the Lecture Notes in Computer Science book series (LNCS, volume 348)


Logic Program Integrity Constraint Horn Clause Software Development Environment Logic Database 
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. [Asirelli 85]
    Asirelli, P., De Santis, M., Martelli, M., Integrity Constraints in Logic Data Bases, Journal of Logic Programming, Vol. 2, no. 3, Oct. 1985.Google Scholar
  2. [Asirelli 87a]
    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.Google Scholar
  3. [Asirelli 87b]
    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.Google Scholar
  4. [Asirelli 88a]
    Asirelli, P., Inverardi, P., EDBLOG: a kernel for configuration environments, in [WSVCC 88].Google Scholar
  5. [Asirelli 88b]
    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.Google Scholar
  6. [Barstow 87]
    Barstow, D., Artificial Intelligence and Software Engineering, Proc. 9th Annual International Conference on SOFTWARE ENGINEERING, Monterey, California, March 30-April 2, 1987.Google Scholar
  7. [CAIS1 85]
    CAIS1 Military Standard, Common APSE Interface Set, AJPO, 3rd version, 31st January, 1985.Google Scholar
  8. [ESP. 85]
    ESPRIT, PCTE:A Basis for a Portable Common Tool Environment. Functional Specification. Third Edition 1985.Google Scholar
  9. [Gallaire 84]
    Gallaire, H., Minker, J., Nicolas, J., Logic and Databases: a Deductive Approach, Computing Surveys, 16, (2), pp. 153–185, 1984.Google Scholar
  10. [Giannini 86]
    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.Google Scholar
  11. [Lloyd et al. 87]
    Lloyd, J. W., Sonenberg, E.,A., Topor, R. W., Integrity Constraint Checking in Stratified Databases, J. Logic Programming 4 (4): 331–343, 1987.Google Scholar
  12. [Kowalski 78]
    Kowalski, R. A., Logic for Data Description, in Logic and Databases (Gallaire, H. and Minker, J. Eds), Plenum Press, 1978.Google Scholar
  13. [Kowalski 79]
    Kowalski, R.A., Logic for Problem Solving, North Holland, Artificial Intelligence Series, N.J. Nilsson (Ed.), 1979.Google Scholar
  14. [Marzullo 86]
    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.Google Scholar
  15. [Oberndorf 84]
    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.Google Scholar
  16. [Scheifler 86]
    Scheifler, R.W. and Gettys J., The X Window System, ACM Trans. on Graphics, 5(2), pp. 79–109, 1986.Google Scholar
  17. [Winkler 87]
    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.Google Scholar
  18. [WSVCC 88]
    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.Google Scholar
  19. [Tichy 88]
    Tichy, W., Tools for Software Configuration Management, in [WSVCC 88].Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1989

Authors and Affiliations

  • Patrizia Asirelli
    • 1
  • Paola Inverardi
    • 1
  1. 1.IEI-CNRPISAItaly

Personalised recommendations