{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,10]],"date-time":"2024-09-10T16:55:58Z","timestamp":1725987358160},"publisher-location":"Cham","reference-count":31,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319981765"},{"type":"electronic","value":"9783319981772"}],"license":[{"start":{"date-parts":[[1990,1,1]],"date-time":"1990-01-01T00:00:00Z","timestamp":631152000000},"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":[[1990]]},"DOI":"10.1007\/bfb0000597","type":"book-chapter","created":{"date-parts":[[2005,10,5]],"date-time":"2005-10-05T04:48:16Z","timestamp":1128487696000},"page":"264-282","source":"Crossref","is-referenced-by-count":9,"title":["Requirements specification in TEMPORA"],"prefix":"10.1007","author":[{"given":"C.","family":"Theodoulidis","sequence":"first","affiliation":[]},{"given":"B.","family":"Wangler","sequence":"additional","affiliation":[]},{"given":"P.","family":"Loucopoulos","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,9,22]]},"reference":[{"key":"19_CR1","doi-asserted-by":"crossref","unstructured":"Allen J.F. Maintaining Knowledge about Temporal Intervals CACM, 26(11) Nov.1983.","DOI":"10.1145\/182.358434"},{"key":"19_CR2","doi-asserted-by":"crossref","unstructured":"Balzer, R., Cheatham, T.E, Green, C. Software Technology in the 1990's: Using a New Paradigm, Computer, November 1983, pp. 39\u201345.","DOI":"10.1109\/MC.1983.1654237"},{"issue":"1","key":"19_CR3","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1145\/320434.320440","volume":"1","author":"P.P-C Chen","year":"1976","unstructured":"Chen P.P-C. The Entity-Relationship Model-Toward a Unified View of Data ACM TODS vol.1 no.1, pp.9\u201336, March 1976.","journal-title":"ACM TODS"},{"key":"19_CR4","unstructured":"Information Systems Design Methodologies, T.W. Olle, H.G. Sol and A.A. Verrijn-Stuart(eds), North-Holland, 1982."},{"key":"19_CR5","unstructured":"Information Systems Design Methodologies: Comparative View T.W. Olle, H.G. Sol and A.A. Verrijn-Stuart(eds), North-Holland, 1983."},{"key":"19_CR6","unstructured":"Information Systems Design Methodologies: Improving the Practice T.W. Olle, H.G. Sol and A.A. Verrijn-Stuart(eds), North-Holland, 1986."},{"key":"19_CR7","unstructured":"Dittrich K.R. Object-oriented Database Systems: The Notion and the Issues (extended abstract), Proc. OODB, Pacific Grove, Ca, Sept.1986."},{"key":"19_CR8","unstructured":"Dubois E., Hagelstein J., Lahou E. et al The ERAE Model: A Case Study in CRIS-3."},{"key":"19_CR9","unstructured":"Dubois E., Hagelstein J. Reasoning on Formal Requirements: A Lift Control System, Proceedings on S\/W Specification and Design, 1987."},{"key":"19_CR10","unstructured":"Falkenberg, E. Knowledge-Based Information Analysis Support, Proceedings IFIP TC2\/TC8 Working Conference on \"The Role of AI in Databases and Information Systems\", Canton, China, July, 1988, North Holland."},{"key":"19_CR11","unstructured":"Greenspan, S.J. Requirements Modeling: A Knowledge Representation Approach to Software Requirements Definition, Technical Report No. CSRG-155, University of Toronto, 1984."},{"key":"19_CR12","doi-asserted-by":"crossref","unstructured":"Kent W. Limitations of Record-Based Information Models, TODS, 1979.","DOI":"10.1145\/320064.320070"},{"key":"19_CR13","doi-asserted-by":"crossref","unstructured":"Kim W., Banerjee J., Chou H.T., Garza J.F., Woelk D. Composite Object Support in Object-Oriented Database Systems, in Proc. 2nd Int. Conf. on Object-Oriented Programming Systems, Languages and Applications, Orlando, Florida, Oct. 1987.","DOI":"10.1145\/38765.38818"},{"key":"19_CR14","doi-asserted-by":"crossref","unstructured":"Kim W., Bertino E., Garza J.F. Composite Objects Revisited, SIGMOD RECORD 18(2), June 1989.","DOI":"10.1145\/66926.66958"},{"key":"19_CR15","unstructured":"ESPRIT P107-LOKI, A Logic Oriented Approach to Knowledge and Databases Supporting Natural Language User Interfaces Institute of Computer Science, Research Center of Crete, Greece, March 1986."},{"key":"19_CR16","unstructured":"Lorie R., Plouffe W. Complex Objects and Their Use in Design Transactions, in Proc. Databases for Engineering Applications, Database Week 1983 (ACM), San Jose, Calif., May 1983."},{"key":"19_CR17","unstructured":"Loucopoulos, P. The RUBRIC Project-Integrating E-R, Object and Rule-based Paradigms, Workshop session on Design Paradigms, European Conference on Object Oriented Programming (ECOOP), 10\u201313 July 1989, Nottingham, U.K."},{"key":"19_CR18","unstructured":"P.J. McBrien TEMPORA: Language Definition and Library, TEMPORA report, Imperial College, E2469\/IC\/T2.1\/5."},{"key":"19_CR19","unstructured":"Mylopoulos, J. The Role of Knowledge Representation in the Development of Specifications, In Information Processing 86, Kugler, H-J. (ed), Elsevier Science Publishers B.V. (c) IFIP 1986."},{"key":"19_CR20","unstructured":"Nijssen G.M., Duke D.J., Twine S.M. The Entity-Relationship Data Model Considered Harmful, 6th Symposium on Empirical Foundations of Information and Software Sciences, Atlanta, Georgia (USA), October 1988."},{"key":"19_CR21","doi-asserted-by":"crossref","unstructured":"Rabitti F., Woelk D., Kin W. A Model of Authorization for Object-Oriented and Semantic Databases, in Proc. Int. Conf. on Extending Database Technology, Venice, Italy, March 1988.","DOI":"10.1007\/3-540-19074-0_56"},{"key":"19_CR22","doi-asserted-by":"crossref","unstructured":"Roman G-C. A Taxonomy of Current Issues in Requirements Engineering IEEE Computer 18(1), 1985.","DOI":"10.1109\/MC.1985.1662861"},{"key":"19_CR23","unstructured":"RUBRIC, ESPRIT Project 928, Concepts Manual, Nov. 1989."},{"key":"19_CR24","unstructured":"RUBRIC, ESPRIT Project 928, Implementation Manual, Nov. 1989."},{"key":"19_CR25","unstructured":"TEMPORA Technical Annex, Oct. 1988."},{"key":"19_CR26","unstructured":"B.Theodoulidis The IS PART OF Relationship Reconsidered (Working Note), TEMPORA report, E2469\/UMIST\/T1.1\/15, Sept. 1989."},{"key":"19_CR27","unstructured":"Wangler B. On the Semantics of Complex Objects in TEMPORA, TEMPORA report, E2469\/SISU\/T1.1\/13, October 1989."},{"key":"19_CR28","unstructured":"Wangler B. On the Interpretation of timemarks in ERT schemas, TEMPORA report, E2469\/SISU\/T1.1\/14, October 1989."},{"key":"19_CR29","doi-asserted-by":"crossref","unstructured":"Van Assche, F., Layzell, P.J., Loucopoulos, P., Speltincx, G., Information Systems Development: A Rule-Based Approach, Journal of Knowledge Based Systems, September, 1988, pp. 227\u2013234.","DOI":"10.1016\/0950-7051(88)90033-0"},{"key":"19_CR30","unstructured":"Villain M.B. A System for Reasoning about Time Proceedings of AAAI-82, Pittsburgh, Pa., Aug.1982."},{"key":"19_CR31","unstructured":"Villain M.B., Kautz H. Constraint Propagation Algorithms for Temporal Reasoning Proc. of AAAI-86, 1986."}],"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\/BFb0000597","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,9]],"date-time":"2020-04-09T22:11:28Z","timestamp":1586470288000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0000597"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1990]]},"ISBN":["9783319981765","9783319981772"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/bfb0000597","relation":{},"ISSN":["1612-2909","1860-0824"],"issn-type":[{"type":"print","value":"1612-2909"},{"type":"electronic","value":"1860-0824"}],"subject":[],"published":{"date-parts":[[1990]]}}}