{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,6]],"date-time":"2026-10-06T07:07:42Z","timestamp":1791270462817,"version":"4.1.0"},"reference-count":19,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,9]]},"DOI":"10.1109\/models.2015.7338241","type":"proceedings-article","created":{"date-parts":[[2015,11,30]],"date-time":"2015-11-30T21:53:36Z","timestamp":1448920416000},"page":"106-115","source":"Crossref","is-referenced-by-count":6,"title":["Fragmenta: A theory of fragmentation for MDE"],"prefix":"10.1109","author":[{"given":"Nuno","family":"Amalio","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Juan","family":"de Lara","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Esther","family":"Guerra","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"crossref","first-page":"97","DOI":"10.3233\/FI-2012-707","article-title":"Transformation of typed composite graphs with inheritance and containment structures","volume":"118","author":"jurack","year":"2012","journal-title":"Fundam Inform"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-33666-9_8"},{"key":"ref12","first-page":"39","article-title":"On language-independent model modularisation","volume":"6","author":"heidenreich","year":"0","journal-title":"TAOSD VII"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-87875-9_28"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2007.50"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/RE.2005.8"},{"key":"ref16","article-title":"Correct-by-construction model composition: Application to the invasive software composition method","author":"hamiaz","year":"2014","journal-title":"Proc FESCA ETAPS ser EPTCS"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-19811-3_13"},{"key":"ref18","article-title":"Towards a distributed modeling process based on composite models","author":"str\u00fcber","year":"2013","journal-title":"FASE"},{"key":"ref19","article-title":"Splitting models using information retrieval and model crawling techniques","author":"str\u00fcber","year":"2014","journal-title":"FASE"},{"key":"ref4","article-title":"Fragmenta: a theory of separation to design fragmented MDE models","author":"amalio","year":"2015","journal-title":"UA Technical Report"},{"key":"ref3","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-45949-9","article-title":"Isabelle\/HOL: A Proof Assistant for Higher-Order Logic","author":"nipkow","year":"2002"},{"key":"ref6","first-page":"22","article-title":"EMF splitter: A structured approach to EMF modularity","volume":"1239","author":"garmendia","year":"2014","journal-title":"Proc XM MODELS ser CEUR Workshop Proceedings"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/MODELS.2015.7338247"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2014.05.002"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-16086-8_5"},{"key":"ref2","article-title":"EMF: Eclipse Modeling Framework","author":"steinberg","year":"2008"},{"key":"ref1","article-title":"N Degrees of Separation: Multi-Dimensional Separation of Concerns","author":"tarr","year":"0","journal-title":"ICSE'99"},{"key":"ref9","article-title":"Transformation of type graphs with inheritance for ensuring security in e-government networks","author":"hermann","year":"2009","journal-title":"FASE"}],"event":{"name":"2015 ACM\/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS)","location":"Ottawa, ON, Canada","start":{"date-parts":[[2015,9,30]]},"end":{"date-parts":[[2015,10,2]]}},"container-title":["2015 ACM\/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7328153\/7338220\/07338241.pdf?arnumber=7338241","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,9,12]],"date-time":"2020-09-12T02:58:27Z","timestamp":1599879507000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7338241\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,9]]},"references-count":19,"URL":"https:\/\/doi.org\/10.1109\/models.2015.7338241","relation":{},"subject":[],"published":{"date-parts":[[2015,9]]}}}