{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,10]],"date-time":"2025-04-10T04:18:49Z","timestamp":1744258729489,"version":"3.40.4"},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642336089"},{"type":"electronic","value":"9783642336096"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-33609-6_6","type":"book-chapter","created":{"date-parts":[[2012,9,25]],"date-time":"2012-09-25T22:58:43Z","timestamp":1348613923000},"page":"43-54","source":"Crossref","is-referenced-by-count":0,"title":["An MDE-Based Synthesis of Aircraft Safety Models"],"prefix":"10.1007","author":[{"given":"S\u00e9bastien","family":"Maitrehenry","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sylvain","family":"Metge","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yamine","family":"A\u00eft-Ameur","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pierre","family":"Bieber","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"2-3","key":"6_CR1","first-page":"109","volume":"40","author":"A. Arnold","year":"2000","unstructured":"Arnold, A., Griffault, G., Point, G., Rauzy, A.: The AltaRica formalism for describing concurrent systems. Fundam. Inf.\u00a040(2-3), 109\u2013124 (2000)","journal-title":"Fundam. Inf."},{"issue":"8-9","key":"6_CR2","first-page":"1033","volume":"33","author":"G. Point","year":"1999","unstructured":"Point, G., Rauzy, A.: AltaRica \u2013 Constraint automata as a description language. European Journal on Automation\u00a033(8-9), 1033\u20131052 (1999)","journal-title":"European Journal on Automation"},{"doi-asserted-by":"crossref","unstructured":"Maitrehenry, S., Metge, S., Bieber, P., Ait-Ameur, Y.: Toward Model-Based Functional Hazard Assessment at Aircraft Level. ESREL (2011)","key":"6_CR3","DOI":"10.1201\/b11433-341"},{"unstructured":"J\u00e9z\u00e9quel, J.-M., Combemale, B., Vojtisek, D.: Ing\u00e9nierie Dirig\u00e9e par les Mod\u00e8les, des concepts \u00e0 la pratique. Ellipse Edition Marketing S.A., 17\u201323, 35\u201341 (2012)","key":"6_CR4"},{"unstructured":"Taha, W.: Domain-Specific Languages. In: International Conference on Computer Engineering Systems ICCES, pp. xxiii\u2013xxviii (2008)","key":"6_CR5"},{"key":"6_CR6","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1016\/S0164-1212(00)00089-3","volume":"56","author":"D. Spinellis","year":"2001","unstructured":"Spinellis, D.: Notable design patterns for domain-specific languages. The Journal of Systems and Software\u00a056, 91\u201399 (2001)","journal-title":"The Journal of Systems and Software"},{"unstructured":"Czarnecki, K., Helsen, S.: Classification of Model Transformation Approaches. In: OOPSLA 2003 Workshop on Generative Techniques in the Context of Model-Driven Architecture (2003)","key":"6_CR7"},{"doi-asserted-by":"crossref","unstructured":"Sendall, S., Kozaczynaki, W.: Model Transformation \u2013 the Heart and Soul of Model-Driven Software Development. IEEE Sofware (2003)","key":"6_CR8","DOI":"10.1109\/MS.2003.1231150"},{"unstructured":"Yuehua, L.: A Model Transformation Approach to Automated Model Evolution. PhD Thesis (2007)","key":"6_CR9"},{"unstructured":"Mens, T., Czarnecki, K., Van Corp, P.: A Taxonomy of Model Transformation. In: International Workshop on Graph and Model Transformation, GraMoT (2005)","key":"6_CR10"},{"unstructured":"Vara, J.-M., Bollati, V.-A., Vela, B., Marcos, E.: Leveraging Model Transformations by means of Annotation Models. In: Jouault, F. (ed.) MtATL, pp. 96\u2013102 (2009)","key":"6_CR11"},{"unstructured":"Drivalos, N., Paige, R., Fernandes, F., Kolovos, D.: Towards Rigorously Defined Model-to-Model traceability. In: Traceability Workshop, European Conference in Model Driven Architecture, EC-MDA (2008)","key":"6_CR12"},{"unstructured":"Vanhoff, B., Van Baelen, S., Joosen, W., Berbers, Y.: Traceability as Input for Model Transformations. In: Traceability Workshop, European Conference in Model Driven Architecture, EC-MDA (2007)","key":"6_CR13"},{"unstructured":"Dehainsala, H., Jean, S., Xuan Dung, N., Pierra, G.: Ing\u00e9nierie dirig\u00e9e par les mod\u00e8les en Express\u00a0: un exemple d\u2019application. Premi\u00e8res Journ\u00e9es sur l\u2019Ing\u00e9nierie Dirig\u00e9e par les Mod\u00e8les (2005)","key":"6_CR14"},{"doi-asserted-by":"crossref","unstructured":"Ait-Ameur, Y., Pierra, G., Sardet, E.: An object oriented approach to represent behavioural knowledge inheterogeous information systems. In: International Conference on Object-Oriented Information Systems (OOIS), pp. 315\u2013339 (2000)","key":"6_CR15","DOI":"10.1007\/978-1-4471-0299-1_27"},{"doi-asserted-by":"crossref","unstructured":"Courcelle, B.: Introduction \u00e0 la th\u00e9orie des graphes\u00a0: D\u00e9finitions, applications et techniques de preuves. Universit\u00e9 Bordeaux 1, LaBRI (2004)","key":"6_CR16","DOI":"10.5802\/xups.2004-01"},{"key":"6_CR17","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1006\/jcss.2001.1790","volume":"64","author":"F. Drewes","year":"2002","unstructured":"Drewes, F., Hoffmann, B., Plump, D.: Hierarchical Graph Transformation. Journal of Computer and System Sciences\u00a064, 249\u2013283 (2002)","journal-title":"Journal of Computer and System Sciences"},{"key":"6_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"184","DOI":"10.1007\/978-3-540-77120-3_18","volume-title":"Algorithms and Computation","author":"M. Chimani","year":"2007","unstructured":"Chimani, M., Gutwenger, C.: Algorithms for the Hypergraph and the Minor Crossing Number Problems. In: Tokuyama, T. (ed.) ISAAC 2007. LNCS, vol.\u00a04835, pp. 184\u2013195. Springer, Heidelberg (2007)"},{"key":"6_CR19","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1145\/174608.174610","volume":"12","author":"A. Poulovassilis","year":"1994","unstructured":"Poulovassilis, A., Levene, M.: A Nested-Graph Model for the Representation and Manipulation of Complex Objects. ACM Trans. on Information Systems\u00a012, 35\u201368 (1994)","journal-title":"ACM Trans. on Information Systems"}],"container-title":["Lecture Notes in Computer Science","Model and Data Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-33609-6_6.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,9]],"date-time":"2025-04-09T12:48:39Z","timestamp":1744202919000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-33609-6_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642336089","9783642336096"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-33609-6_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}