{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,15]],"date-time":"2026-05-15T02:39:25Z","timestamp":1778812765438,"version":"3.51.4"},"reference-count":60,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"4","license":[{"start":{"date-parts":[[2010,4,1]],"date-time":"2010-04-01T00:00:00Z","timestamp":1270080000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Proc. IEEE"],"published-print":{"date-parts":[[2010,4]]},"DOI":"10.1109\/jproc.2009.2037771","type":"journal-article","created":{"date-parts":[[2010,3,1]],"date-time":"2010-03-01T20:47:48Z","timestamp":1267476468000},"page":"526-545","source":"Crossref","is-referenced-by-count":100,"title":["Seamless Model-Based Development: From Isolated Tools to Integrated Model Engineering Environments"],"prefix":"10.1109","volume":"98","author":[{"given":"M.","family":"Broy","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.","family":"Feilkas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.","family":"Herrmannsdoerfer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S.","family":"Merenda","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"D.","family":"Ratiu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref39","first-page":"123","article-title":"techniques for metamodel composition","author":"emerson","year":"2006","journal-title":"Proc 6th Workshop Domain Specific Model (DSM'06)"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1007\/11557432_6"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1145\/1109128.1109129"},{"key":"ref32","author":"drey","year":"2008","journal-title":"Kermeta LanguageReference Manual"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2007.05.002"},{"key":"ref30","doi-asserted-by":"crossref","first-page":"249","DOI":"10.1145\/1173706.1173744","article-title":"tcs: a dsl for the specification of textual concrete syntaxes in model engineering","author":"jouault","year":"2006","journal-title":"Proc 5th ACM Int Conf Generative Program Compon Eng (GPCE '06)"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/ECBS.2007.24"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/TCST.2004.824311"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45800-X_24"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1007\/11557432_49"},{"key":"ref60","doi-asserted-by":"publisher","DOI":"10.1109\/FOSE.2007.31"},{"key":"ref28","year":"2006","journal-title":"Object Constraint Language (OCL) spec 2 0"},{"key":"ref27","year":"2006","journal-title":"Meta Object Facility (MOF) spec 2 0"},{"key":"ref29","author":"budinsky","year":"2003","journal-title":"Eclipse Modeling Framework"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/1134285.1134406"},{"key":"ref1","first-page":"619","article-title":"formal methods: theory becoming practice","volume":"13","author":"abrial","year":"2007","journal-title":"J Univ Comput Sci"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/774827.774828"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/IWPSE.2005.22"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/ECBS.2008.46"},{"key":"ref24","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4613-0091-5","author":"broy","year":"2001","journal-title":"Specification and Development of Interactive Systems FOCUS on Streams Interfaces and Refinement"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/s11334-006-0011-y"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2005.15"},{"key":"ref25","author":"broy","year":"2008","journal-title":"Umfassendes architekturmodell fr das engineering eingebetteter software-intensiver systeme"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-004-0073-y"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-004-0072-z"},{"key":"ref59","doi-asserted-by":"crossref","first-page":"602","DOI":"10.1145\/1176617.1176632","article-title":"model-based dsl frameworks","author":"kurtev","year":"2006","journal-title":"Companion to the 21st ACM SIGPLAN Conf Object-Oriented Program Syst Lang Applicat (OOPSLA '06)"},{"key":"ref58","doi-asserted-by":"publisher","DOI":"10.1109\/ICECCS.2005.68"},{"key":"ref57","doi-asserted-by":"publisher","DOI":"10.1145\/1173706.1173740"},{"key":"ref56","doi-asserted-by":"publisher","DOI":"10.1109\/FOSE.2007.22"},{"key":"ref55","doi-asserted-by":"crossref","first-page":"82","DOI":"10.1145\/949344.949360","article-title":"gme, the generic modeling environment","author":"davis","year":"2003","journal-title":"Companion 19th Annu ACM SIGPLAN Conf Object-Oriented Program Syst Lang Applicat (OOPSLA '04)"},{"key":"ref54","year":"2008","journal-title":"Query\/View\/Transformation (QVT) spec 1 0"},{"key":"ref53","article-title":"the topcased project: a toolkit in open source for critical aeronautic systems design","author":"farail","year":"2006","journal-title":"Embedded Real Time Software"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-006-0016-x"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-004-0067-9"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-75209-7_39"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-87875-9_45"},{"key":"ref12","year":"0","journal-title":"Unified Modeling Language Superstructure"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-69489-2_39"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-006-0042-8"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/FOSE.2007.14"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/336512.336546"},{"key":"ref17","year":"2006","journal-title":"Unified Modeling Language (UML) spec 2 1 2"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/32.825764"},{"key":"ref19","article-title":"a380 cable problems threaten airbus","year":"0","journal-title":"FlugRevue"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/SEW.2001.992666"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/41625.41641"},{"key":"ref6","doi-asserted-by":"crossref","first-page":"199","DOI":"10.1007\/s10703-006-0027-9","article-title":"from nusmv to spin: experiences with model checking flight guidance systems","volume":"30","author":"choi","year":"2007","journal-title":"Formal Methods Syst Design"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.1990.113767"},{"key":"ref8","first-page":"175","article-title":"modeling and verification of an air traffic concept of operations","author":"muoz","year":"2004","journal-title":"Proc 2004 ACM SIGSOFT Int l Symp Software Testing and Analysis (ISSTA 04)"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/s10515-007-0008-2"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-006-0045-5"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/ICCD.2005.110"},{"key":"ref46","first-page":"600","article-title":"metamodel adaptation and model co-adaptation","volume":"4609","author":"wachsmuth","year":"2007","journal-title":"Proc 21st Eur Conf Object-Oriented Program (ECOOP'07)"},{"key":"ref45","article-title":"towards synchronizing models with evolving metamodels","author":"gruschko","year":"2007","journal-title":"Proc Int Workshop Model-Driven Software Evol"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-004-0071-0"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1145\/1028664.1028686"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1145\/1228268.1228273"},{"key":"ref41","article-title":"coupled software transformations (extended abstract)","author":"lmmel","year":"2004","journal-title":"Proc 1st Int Workshop Software Evol Transform"},{"key":"ref44","article-title":"a process model and classification scheme for semi-automatic meta-model evolution","author":"becker","year":"2007","journal-title":"Proc Workshop MDD SOA IT-Manage 2007"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1016\/j.jvlc.2004.01.006"}],"container-title":["Proceedings of the IEEE"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5\/5440047\/05420030.pdf?arnumber=5420030","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,30]],"date-time":"2023-05-30T17:46:24Z","timestamp":1685468784000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5420030\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,4]]},"references-count":60,"journal-issue":{"issue":"4"},"URL":"https:\/\/doi.org\/10.1109\/jproc.2009.2037771","relation":{},"ISSN":["0018-9219","1558-2256"],"issn-type":[{"value":"0018-9219","type":"print"},{"value":"1558-2256","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,4]]}}}