{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,10]],"date-time":"2025-04-10T04:18:48Z","timestamp":1744258728746,"version":"3.40.4"},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642336089"},{"type":"electronic","value":"9783642336096"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"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":[[2012]]},"DOI":"10.1007\/978-3-642-33609-6_15","type":"book-chapter","created":{"date-parts":[[2012,9,25]],"date-time":"2012-09-25T22:58:43Z","timestamp":1348613923000},"page":"153-161","source":"Crossref","is-referenced-by-count":2,"title":["Inductive UML"],"prefix":"10.1007","author":[{"given":"Franck","family":"Barbier","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eric","family":"Cariou","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"15_CR1","unstructured":"OMG Unified Modeling LanguageTM, Superstructure, Version 2.3 (May 2010)"},{"issue":"5","key":"15_CR2","first-page":"5","volume":"20","author":"C. Atkinson","year":"2002","unstructured":"Atkinson, C., K\u00fchne, T.: Model-Driven Development: A Metamodeling Foundation. IEEE Software\u00a020(5), 5\u201322 (2002)","journal-title":"IEEE Software"},{"issue":"4","key":"15_CR3","doi-asserted-by":"publisher","first-page":"369","DOI":"10.1007\/s10270-006-0017-9","volume":"5","author":"T. K\u00fchne","year":"2006","unstructured":"K\u00fchne, T.: Matters of (Meta-) modeling. Software and Systems Modeling\u00a05(4), 369\u2013385 (2006)","journal-title":"Software and Systems Modeling"},{"key":"15_CR4","doi-asserted-by":"crossref","unstructured":"France, R., Rumpe, B.: Model-driven Development of Complex Software: A Research Roadmap. In: The ICSE 2007 Future of Software Engineering Workshop, Minneapolis, USA (2007)","DOI":"10.1109\/FOSE.2007.14"},{"key":"15_CR5","unstructured":"Steinberg, D., Budinsky, F., Paternostro, M., Merks, E.: EMF - Eclipse Modeling Framework, 2nd edn. Addison-Wesley (2008)"},{"key":"15_CR6","unstructured":"OMG Unified Modeling LanguageTM, Infrastructure, Version 2.3 (May 2010)"},{"key":"15_CR7","unstructured":"Meta Object Facility (MOF) Core Specification, Version 2.0 (January 2006)"},{"key":"15_CR8","doi-asserted-by":"crossref","unstructured":"Clark, T., Evans, A., Kent, S.: The Meta-Modeling Language Calculus: Foundation Semantics for UML. In: The 4th International Conference on Fundamental Approaches to Software Engineering, Genova, Italy, pp. 17\u201331 (2001)","DOI":"10.1007\/3-540-45314-8_3"},{"key":"15_CR9","doi-asserted-by":"crossref","unstructured":"B\u00e9zivin, J., Gerb\u00e9, O.: Towards a Precise Definition of the OMG\/MDA Framework. In: Automated Software Engineering, San Diego, USA, pp. 273\u2013280 (2001)","DOI":"10.1109\/ASE.2001.989813"},{"issue":"3","key":"15_CR10","doi-asserted-by":"publisher","first-page":"403","DOI":"10.1007\/s10270-008-0101-4","volume":"8","author":"S. Kuske","year":"2009","unstructured":"Kuske, S., Gogolla, M., Kreowski, H.-J., Ziemann, P.: Towards an integrated graph-based semantics for UML. Software and Systems Modeling\u00a08(3), 403\u2013422 (2009)","journal-title":"Software and Systems Modeling"},{"issue":"4","key":"15_CR11","doi-asserted-by":"publisher","first-page":"451","DOI":"10.1007\/s10270-008-0105-0","volume":"8","author":"E. Jackson","year":"2009","unstructured":"Jackson, E., Sztipanovits, J.: Formalizing the structural semantics of domain-specific modeling languages. Software and Systems Modeling\u00a08(4), 451\u2013478 (2009)","journal-title":"Software and Systems Modeling"},{"key":"15_CR12","doi-asserted-by":"crossref","unstructured":"Paige, R., Brooke, P., Ostroff, J.: Metamodel-based model conformance and multiview consistency checking. ACM Transactions on Software Engineering and Methodology\u00a016(3) (2007)","DOI":"10.1145\/1243987.1243989"},{"key":"15_CR13","doi-asserted-by":"crossref","unstructured":"Bertot, Y., Cast\u00e9ran, P.: Interactive Theorem Proving and Program Development Coq\u2019Art: The Calculus of Inductive Constructions. Springer (2004)","DOI":"10.1007\/978-3-662-07964-5"}],"container-title":["Lecture Notes in Computer Science","Model and Data Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-33609-6_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,9]],"date-time":"2025-04-09T12:47:30Z","timestamp":1744202850000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-33609-6_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642336089","9783642336096"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-33609-6_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}