{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T14:48:26Z","timestamp":1742914106127,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540526254"},{"type":"electronic","value":"9783540470786"}],"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":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1990]]},"DOI":"10.1007\/bfb0000607","type":"book-chapter","created":{"date-parts":[[2005,10,5]],"date-time":"2005-10-05T04:48:16Z","timestamp":1128487696000},"page":"307-338","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["IRIS \u2014 A mapping assistant for generating designs from requirements"],"prefix":"10.1007","author":[{"given":"Yannis","family":"Vassiliou","sequence":"first","affiliation":[]},{"given":"Manolis","family":"Marakakis","sequence":"additional","affiliation":[]},{"given":"Panagiotis","family":"Katalagarianos","sequence":"additional","affiliation":[]},{"given":"Lawrence","family":"Chung","sequence":"additional","affiliation":[]},{"given":"Michalis","family":"Mertikas","sequence":"additional","affiliation":[]},{"given":"John","family":"Mylopoulos","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,9,22]]},"reference":[{"key":"29_CR1","unstructured":"James F. Allen, A General Model of Action and Time, Proceedings 7th IJCAI, Vancouver, BC, Canada, 1981."},{"issue":"1","key":"29_CR2","first-page":"12","volume":"3","author":"J. Barron","year":"1982","unstructured":"John Barron, Dialogue and Process Design for Interactive Information Systems Using Taxis, In Proceedings SIGOA Conference on Office Information Systems, Philadelphia, PA, SIGOA Newsletter, Vol. 3, Nos 1 and 2, pp. 12\u201320, 21\u201323 June 1982.","journal-title":"SIGOA Newsletter"},{"issue":"1","key":"29_CR3","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1109\/MS.1985.230050","volume":"2","author":"A. Borgida","year":"1985","unstructured":"A. Borgida, Features of Languages for the Development of Information Systems at the Conceptual Level, IEEE Software, Vol. 2, No. 1, Jan. 1985, pp. 63\u201372.","journal-title":"IEEE Software"},{"key":"29_CR4","unstructured":"Alex Borgida, John Mylopoulos, Joachim W. Schmidt and Eric Meirlaen, Final Version of TDL Design, Esprit Project DAIDA (892), deliverable DES1.2, Sept. 1987."},{"key":"29_CR5","doi-asserted-by":"crossref","unstructured":"Alex Borgida, Matthias Jarke, John Mylopoulos, Joachim W. Schmidt and Yannis Vassiliou, The Software Development Environment as a Knowledge Base Management System. in J. W. Schmidt and C. Thanos (Editors), Foundations of Knowledge Base Management. Springer-Verlag, 1989.","DOI":"10.1007\/978-3-642-83397-7_19"},{"key":"29_CR6","unstructured":"Lawrence Chung, An Extended Taxis Compiler, M.Sc. thesis, Dept. of Computer Science, University of Toronto, Jan. 1984. Also CSRG Technical Note 37, 1984."},{"key":"29_CR7","unstructured":"Lawrence Chung, Panagiotis Katalagarianos, Manolis Marakakis, Michalis Mertikas, John Mylopoulos and Yannis Vassiliou, From Information System Requirements to Designs: A Mapping Framework, Technical Report FORTH\/CSI\/TR\/1989\/020 Institute of Computer Science-FORTH, Heraklion, November 1989."},{"key":"29_CR8","unstructured":"Findler, N. (editor), Associative Networks, Academic Press, 1979."},{"key":"29_CR9","unstructured":"S. Greenspan, Requirements Modelling: The Use of Knowledge Representation Techniques for Requirements Specification, Ph. D. thesis, Dept. of Computer Science, University of Toronto, 1984."},{"volume-title":"Specification Case Studies","year":"1987","key":"29_CR10","unstructured":"I. Hayes (editor), Specification Case Studies, Prentice Hall International, Englewood Cliffs NJ, 1987."},{"key":"29_CR11","doi-asserted-by":"crossref","unstructured":"R. Hull and R. King, Semantic Database Modelling: Survey, Applications and Research Issues, ACM Computing Reviews 19, No. 3, Sept. 1987.","DOI":"10.1145\/45072.45073"},{"key":"29_CR12","unstructured":"Michael Jackson, System Development, Prentice-Hall, 1983."},{"key":"29_CR13","unstructured":"M. Jarke (ed), Development of Advanced Interactive Data-Intensive Applications (DAIDA), Global Design Report, Esprit-Project 892, Sept. 1986."},{"key":"29_CR14","unstructured":"Matthias Jarke, Manfred Jeusfeld, Tomas Rose, A Software Process Data Model for Knowledge Engineering in Information Systems. Information Systems, Vol.14, No.3, Fall 1989."},{"key":"29_CR15","volume-title":"CML\/Telos \u2014 TDL Mapping Assistant: Architecture and Development, Esprit Project 892 (DAIDA), del. DES2.3","author":"P. Katalagarianos","year":"1989","unstructured":"Panos Katalagarianos, Manolis Marakakis, Michalis Mertikas, Yannis Vassiliou, CML\/Telos \u2014 TDL Mapping Assistant: Architecture and Development, Esprit Project 892 (DAIDA), del. DES2.3, Institute of Computer Science, Foundation for Research and Technology, Heraklion, Crete, Greece, Febr. 1989."},{"key":"29_CR16","unstructured":"M. Koubarakis, J. Mylopoulos, M. Stanley and A. Borgida, Telos: Features and Formalization, Technical Report KRR-TR-89-4, Dept. of Computer Science, Univ. of Toronto, 1989."},{"key":"29_CR17","unstructured":"The Role of Knowledge Representation in the Development of Specifications, In H. J. Kugler (ed.): Information Processing, Elsevier Science Publishers B. V., North-Holland, 1986."},{"key":"29_CR18","doi-asserted-by":"crossref","unstructured":"Gruia-Catalin Roman, A Taxonomy of Current Issues in Requirements Engineering, In IEEE Computer, pp. 14\u201321, Apr., 1985.","DOI":"10.1109\/MC.1985.1662861"},{"key":"29_CR19","volume-title":"DBPL Report. DBPL-Memo 111-88","author":"J. Schmidt","year":"1988","unstructured":"J. Schmidt, H. Eckhardt, and F. Matthes, DBPL Report. DBPL-Memo 111-88, Fachbereich Informatik, johann Wolfgang Goethe-Universitat, Frankfurt, West Germany, 1988."},{"key":"29_CR20","doi-asserted-by":"crossref","unstructured":"Richard Snodgrass, Temporal Databases, Computer, September 1986, pp. 35\u201342.","DOI":"10.1109\/MC.1986.1663327"},{"key":"29_CR21","doi-asserted-by":"crossref","unstructured":"Richard Snodgrass, The Temporal Query Language TQuel, In ACM Transactions on Database Systems, 1987.","DOI":"10.1145\/22952.22956"},{"key":"29_CR22","unstructured":"M. Stanley, A Formal Semantics for CML, M. Sc. thesis, Dept. of Computer Science, University of Toronto, 1986."},{"key":"29_CR23","unstructured":"Pamela Zave and Raymond T. Yeh, Executable Requirements for Embedded Systems, In Proceedings fifth International Conf. on Software Engineering, pp. 295\u2013304, 1981."}],"container-title":["Lecture Notes in Computer Science","Advanced Information Systems Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0000607","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T08:57:04Z","timestamp":1558256224000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0000607"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1990]]},"ISBN":["9783540526254","9783540470786"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/bfb0000607","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1990]]},"assertion":[{"value":"22 September 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}