{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:56:30Z","timestamp":1725663390651},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540508205"},{"type":"electronic","value":"9783540460923"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1989]]},"DOI":"10.1007\/3-540-50820-1_54","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T15:33:52Z","timestamp":1330184032000},"page":"292-299","source":"Crossref","is-referenced-by-count":0,"title":["Using logic databases in software development environments"],"prefix":"10.1007","author":[{"given":"Patrizia","family":"Asirelli","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paola","family":"Inverardi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,29]]},"reference":[{"key":"18_CR1","doi-asserted-by":"crossref","unstructured":"Asirelli, P., De Santis, M., Martelli, M., Integrity Constraints in Logic Data Bases, Journal of Logic Programming, Vol. 2, no. 3, Oct. 1985.","DOI":"10.1016\/0743-1066(85)90020-2"},{"key":"18_CR2","unstructured":"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\u201328 May, 1987, The Ada Companion Series, Cambridge University Press."},{"key":"18_CR3","unstructured":"Asirelli, P., Inverardi, P., Ehnancing configuration facilities in software development: A logic approach, Proc.ESEC'87 1st European Software Engineering Conference, Strasbourg, 9\u201311 September, 1987, LNCS 289."},{"key":"18_CR4","unstructured":"Asirelli, P., Inverardi, P., EDBLOG: a kernel for configuration environments, in [WSVCC 88]."},{"key":"18_CR5","unstructured":"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."},{"key":"18_CR6","doi-asserted-by":"crossref","unstructured":"Barstow, D., Artificial Intelligence and Software Engineering, Proc. 9th Annual International Conference on SOFTWARE ENGINEERING, Monterey, California, March 30-April 2, 1987.","DOI":"10.1016\/B978-0-934613-67-5.50020-4"},{"key":"18_CR7","unstructured":"CAIS1 Military Standard, Common APSE Interface Set, AJPO, 3rd version, 31st January, 1985."},{"key":"18_CR8","unstructured":"ESPRIT, PCTE:A Basis for a Portable Common Tool Environment. Functional Specification. Third Edition 1985."},{"issue":"2","key":"18_CR9","doi-asserted-by":"crossref","first-page":"153","DOI":"10.1145\/356924.356929","volume":"16","author":"H. Gallaire","year":"1984","unstructured":"Gallaire, H., Minker, J., Nicolas, J., Logic and Databases: a Deductive Approach, Computing Surveys, 16, (2), pp. 153\u2013185, 1984.","journal-title":"Computing Surveys"},{"key":"18_CR10","unstructured":"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."},{"issue":"4","key":"18_CR11","doi-asserted-by":"crossref","first-page":"331","DOI":"10.1016\/0743-1066(87)90009-4","volume":"4","author":"J. W. Lloyd","year":"1987","unstructured":"Lloyd, J. W., Sonenberg, E.,A., Topor, R. W., Integrity Constraint Checking in Stratified Databases, J. Logic Programming 4 (4): 331\u2013343, 1987.","journal-title":"J. Logic Programming"},{"key":"18_CR12","doi-asserted-by":"crossref","unstructured":"Kowalski, R. A., Logic for Data Description, in Logic and Databases (Gallaire, H. and Minker, J. Eds), Plenum Press, 1978.","DOI":"10.1007\/978-1-4684-3384-5_4"},{"key":"18_CR13","unstructured":"Kowalski, R.A., Logic for Problem Solving, North Holland, Artificial Intelligence Series, N.J. Nilsson (Ed.), 1979."},{"key":"18_CR14","doi-asserted-by":"crossref","unstructured":"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\u201311, 1986.","DOI":"10.1145\/24208.24223"},{"key":"18_CR15","unstructured":"Oberndorf, P.A., Penedo, M.H., Summary of Project Database Working Group Discussions, Proc. ACM AdaTEC Future Ada Environment Workshop, Santa Barbara, California, 17\u201320 Sept., 1984, ACM Ada Letters, Vol. IV, no. 5, 1985."},{"issue":"2","key":"18_CR16","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1145\/22949.24053","volume":"5","author":"R. W. Scheifler","year":"1986","unstructured":"Scheifler, R.W. and Gettys J., The X Window System, ACM Trans. on Graphics, 5(2), pp. 79\u2013109, 1986.","journal-title":"ACM Trans. on Graphics"},{"key":"18_CR17","unstructured":"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."},{"key":"18_CR18","unstructured":"Proc. Int. Workshop on Software Version and Configuration Control, Grassau (Munich), 27\u201329 Jan., J.F.H. Winkler (ed.), German Chap. ACM, Berichte 30, Teubner, 1988."},{"key":"18_CR19","unstructured":"Tichy, W., Tools for Software Configuration Management, in [WSVCC 88]."}],"container-title":["Lecture Notes in Computer Science","Programming Languages Implementation and Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-50820-1_54.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T16:18:56Z","timestamp":1605629936000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-50820-1_54"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1989]]},"ISBN":["9783540508205","9783540460923"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/3-540-50820-1_54","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1989]]}}}