{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,24]],"date-time":"2025-05-24T07:46:43Z","timestamp":1748072803497},"publisher-location":"Cham","reference-count":8,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319981765"},{"type":"electronic","value":"9783319981772"}],"license":[{"start":{"date-parts":[[1992,1,1]],"date-time":"1992-01-01T00:00:00Z","timestamp":694224000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1992]]},"DOI":"10.1007\/bfb0035134","type":"book-chapter","created":{"date-parts":[[2006,1,25]],"date-time":"2006-01-25T10:38:44Z","timestamp":1138185524000},"page":"221-238","source":"Crossref","is-referenced-by-count":4,"title":["Reconciling operational and declarative specifications"],"prefix":"10.1007","author":[{"given":"J.","family":"Hagelstein","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"D.","family":"Roclants","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,21]]},"reference":[{"key":"13_CR1","unstructured":"E. Dubois, J. Hagelstein. and A. Rifaut. ERAE: A Formal Language for Expressing and Structuring Real-time Requirements. Manuscript M 353, Philips Research Laboratory Belgium, 1990."},{"key":"13_CR2","doi-asserted-by":"crossref","unstructured":"J. Fiadciro and A. Sernadas. The Infolog linear tense propositional logic of events and transactions. Information Systems, 1(1), 1986.","DOI":"10.1016\/0306-4379(86)90023-2"},{"issue":"1","key":"13_CR3","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1016\/0306-4379(86)90020-7","volume":"11","author":"S.J. Greenspan","year":"1986","unstructured":"S.J. Greenspan, A. Borgida, and J. Mylopoulos. A declarative approach to conceptual information modeling. Information Systems, 11(1):9\u201323, 1986.","journal-title":"Information Systems"},{"key":"13_CR4","unstructured":"M.R. Gustafsson. T. Karlsson. and J.A. Bubenko. A declarative approach to conceptual information modeling. In T.W. Olle, H.G. Sol, and A.A. Verrijn-Stuart, editors. Information System Design Methodologies: A Comparative Review pages 93\u2013142, North-Holland. 1982."},{"issue":"4","key":"13_CR5","doi-asserted-by":"crossref","first-page":"211","DOI":"10.1016\/0950-7051(88)90031-7","volume":"1","author":"J. Hagelstein","year":"1988","unstructured":"J. Hagelstein. Declarative approach to information systems requirements. Knowledge Based Systems, 1(4):211\u2013220, 1988.","journal-title":"Knowledge Based Systems"},{"key":"13_CR6","unstructured":"M. Minsky. A Framework for Representing Knowledge. Artificial Intelligence Memo 306, MIT, 1974."},{"key":"13_CR7","unstructured":"A. Oliv\u00e9. A comparison of the operational and deductive approaches to conceptual information systems modeling. In IFIP'86, pages 91\u201396, North-Holland, 1986."},{"key":"13_CR8","unstructured":"A Oliv\u00e9. On the design and implementation of information systems from deductive conceptual models. In Peter Apers and Gio Wiederhold, editors, Proc. 15th International Conference on Very Large Databases, pages 3\u201311, Amsterdam, The Netherlands, August 1989."}],"container-title":["Notes on Numerical Fluid Mechanics and Multidisciplinary Design","Active Flow and Combustion Control 2018"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0035134","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,16]],"date-time":"2019-04-16T10:44:04Z","timestamp":1555411444000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0035134"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992]]},"ISBN":["9783319981765","9783319981772"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/bfb0035134","relation":{},"ISSN":["1612-2909","1860-0824"],"issn-type":[{"type":"print","value":"1612-2909"},{"type":"electronic","value":"1860-0824"}],"subject":[],"published":{"date-parts":[[1992]]}}}