{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,3]],"date-time":"2025-04-03T04:19:08Z","timestamp":1743653948161,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":113,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642309816"},{"type":"electronic","value":"9783642309823"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"content-version":"unspecified","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-30982-3_5","type":"book-chapter","created":{"date-parts":[[2012,6,26]],"date-time":"2012-06-26T02:04:30Z","timestamp":1340676270000},"page":"137-191","source":"Crossref","is-referenced-by-count":11,"title":["Graph Transformations for MDE, Adaptation, and Models at Runtime"],"prefix":"10.1007","author":[{"given":"Holger","family":"Giese","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Leen","family":"Lambers","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Basil","family":"Becker","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stephan","family":"Hildebrandt","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stefan","family":"Neumann","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thomas","family":"Vogel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sebastian","family":"W\u00e4tzoldt","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"volume-title":"Program evolution: processes of software change","year":"1985","key":"5_CR1","unstructured":"Lehman, M.M., Belady, L.A. (eds.): Program evolution: processes of software change. Academic Press Professional, Inc., San Diego (1985)"},{"key":"5_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"108","DOI":"10.1007\/BFb0017737","volume-title":"Software Process Technology","author":"M.M. Lehman","year":"1996","unstructured":"Lehman, M.M.: Laws of Software Evolution Revisited. In: Montangero, C. (ed.) EWSPT 1996. LNCS, vol.\u00a01149, pp. 108\u2013124. Springer, Heidelberg (1996)"},{"key":"5_CR3","doi-asserted-by":"crossref","first-page":"279","DOI":"10.1109\/ICSE.1994.296790","volume-title":"ICSE 1994: Proceedings of the 16th International Conference on Software Engineering","author":"D.L. Parnas","year":"1994","unstructured":"Parnas, D.L.: Software aging. In: ICSE 1994: Proceedings of the 16th International Conference on Software Engineering, pp. 279\u2013287. IEEE Computer Society Press, Los Alamitos (1994)"},{"key":"5_CR4","doi-asserted-by":"crossref","unstructured":"Mens, T., Demeyer, S.: Software Evolution. Springer (2008)","DOI":"10.1007\/978-3-540-76440-3"},{"key":"5_CR5","doi-asserted-by":"crossref","unstructured":"Martin, R., Osborne, W.: Guidance of Software Maintenance. Technical Report NBS Pub. 500-129, U.S. Nat. Bureau of Standards (December 1983)","DOI":"10.6028\/NBS.SP.500-106"},{"issue":"1","key":"5_CR6","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1109\/52.43044","volume":"7","author":"E.J. Chikofsky","year":"1990","unstructured":"Chikofsky, E.J., Cross II, J.H.: Reverse Engineering and Design Recovery: A Taxonomy. IEEE Software\u00a07(1), 13\u201317 (1990)","journal-title":"IEEE Software"},{"issue":"2","key":"5_CR7","doi-asserted-by":"publisher","first-page":"126","DOI":"10.1109\/TSE.2004.1265817","volume":"30","author":"T. Mens","year":"2004","unstructured":"Mens, T., Tourwe, T.: A survey of software refactoring. IEEE Transactions on Software Engineering\u00a030(2), 126\u2013139 (2004)","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"1","key":"5_CR8","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1109\/MC.2003.1160055","volume":"36","author":"J.O. Kephart","year":"2003","unstructured":"Kephart, J.O., Chess, D.: The Vision of Autonomic Computing. Computer\u00a036(1), 41\u201350 (2003)","journal-title":"Computer"},{"issue":"5","key":"5_CR9","doi-asserted-by":"publisher","first-page":"58","DOI":"10.1109\/98.626984","volume":"4","author":"P. Brown","year":"1997","unstructured":"Brown, P., Bovey, J., Chen, X.: Context-aware applications: from the laboratory to the marketplace. IEEE Personal Communications\u00a04(5), 58\u201364 (1997)","journal-title":"IEEE Personal Communications"},{"key":"5_CR10","volume-title":"Ultra-Large-Scale Systems: The Software Challenge of the Future.","author":"L. Northrop","year":"2006","unstructured":"Northrop, L., Feiler, P.H., Gabriel, R.P., Linger, R., Longstaff, T., Kazman, R., Klein, M., Schmidt, D.: Ultra-Large-Scale Systems: The Software Challenge of the Future. Software Engineering Institute, Carnegie Mellon University, Pittsburgh, PA (2006)"},{"issue":"5","key":"5_CR11","doi-asserted-by":"publisher","first-page":"66","DOI":"10.1145\/274946.274958","volume":"41","author":"J. Sztipanovits","year":"1998","unstructured":"Sztipanovits, J., Karsai, G., Bapty, T.: Self-adaptive software for signal processing. Commun. ACM\u00a041(5), 66\u201373 (1998)","journal-title":"Commun. ACM"},{"issue":"3","key":"5_CR12","doi-asserted-by":"publisher","first-page":"54","DOI":"10.1109\/5254.769885","volume":"14","author":"P. Oreizy","year":"1999","unstructured":"Oreizy, P., Gorlick, M.M., Taylor, R., Heimbigner, D., Johnson, G., Medvidovic, N., Quilici, A., Rosenblum, D.S., Wolf, A.L.: An Architecture-Based Approach to Self-Adaptive Software. IEEE Intelligent Systems\u00a014(3), 54\u201362 (1999)","journal-title":"IEEE Intelligent Systems"},{"key":"5_CR13","doi-asserted-by":"crossref","unstructured":"Musliner, D.J., Goldman, R.P., Pelican, M.J., Krebsbach, K.D.: Self-Adaptive Software for Hard Real-Time Environments. IEEE Inteligent Systems\u00a014(4) (July 1999)","DOI":"10.1109\/5254.784081"},{"key":"5_CR14","series-title":"Lecture Notes in Computer Science","volume-title":"Self-Adaptive Software","year":"2001","unstructured":"Robertson, P., Shrobe, H.E., Laddaga, R. (eds.): IWSAS 2000. LNCS, vol.\u00a01936. Springer, Heidelberg (2001)"},{"key":"5_CR15","series-title":"Lecture Notes in Computer Science","volume-title":"Self-Adaptive Software","year":"2003","unstructured":"Laddaga, R., Shrobe, H.E., Robertson, P. (eds.): IWSAS 2001. LNCS, vol.\u00a02614. Springer, Heidelberg (2003)"},{"key":"5_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-02161-9_1","volume-title":"Software Engineering for Self-Adaptive Systems","author":"B.H.C. Cheng","year":"2009","unstructured":"Cheng, B.H.C., de Lemos, R., Giese, H., Inverardi, P., Magee, J., Andersson, J., Becker, B., Bencomo, N., Brun, Y., Cukic, B., Di Marzo Serugendo, G., Dustdar, S., Finkelstein, A., Gacek, C., Geihs, K., Grassi, V., Karsai, G., Kienle, H.M., Kramer, J., Litoiu, M., Malek, S., Mirandola, R., M\u00fcller, H.A., Park, S., Shaw, M., Tichy, M., Tivoli, M., Weyns, D., Whittle, J.: Software Engineering for Self-Adaptive Systems: A Research Roadmap. In: Cheng, B.H.C., de Lemos, R., Giese, H., Inverardi, P., Magee, J. (eds.) Self-Adaptive Systems. LNCS, vol.\u00a05525, pp. 1\u201326. Springer, Heidelberg (2009)"},{"key":"5_CR17","series-title":"Lecture Notes in Computer Science","volume-title":"Software Engineering for Self-Adaptive Systems","year":"2009","unstructured":"Cheng, B.H.C., de Lemos, R., Giese, H., Inverardi, P., Magee, J. (eds.): Self-Adaptive Systems. LNCS, vol.\u00a05525. Springer, Heidelberg (2009)"},{"issue":"2","key":"5_CR18","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1516533.1516538","volume":"4","author":"M. Salehie","year":"2009","unstructured":"Salehie, M., Tahvildari, L.: Self-adaptive software: Landscape and research challenges. ACM Trans. Auton. Adapt. Syst.\u00a04(2), 1\u201342 (2009)","journal-title":"ACM Trans. Auton. Adapt. Syst."},{"key":"5_CR19","first-page":"147","volume-title":"Conference Proceedings on Object-Oriented Programming Systems, Languages and Applications, OOPSLA 1987","author":"P. Maes","year":"1987","unstructured":"Maes, P.: Concepts and experiments in computational reflection. In: Conference Proceedings on Object-Oriented Programming Systems, Languages and Applications, OOPSLA 1987, pp. 147\u2013155. ACM, New York (1987)"},{"key":"5_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"48","DOI":"10.1007\/978-3-642-02161-9_3","volume-title":"Software Engineering for Self-Adaptive Systems","author":"Y. Brun","year":"2009","unstructured":"Brun, Y., Di Marzo Serugendo, G., Gacek, C., Giese, H., Kienle, H., Litoiu, M., M\u00fcller, H., Pezz\u00e8, M., Shaw, M.: Engineering Self-Adaptive Systems through Feedback Loops. In: Cheng, B.H.C., de Lemos, R., Giese, H., Inverardi, P., Magee, J. (eds.) Self-Adaptive Systems. LNCS, vol.\u00a05525, pp. 48\u201370. Springer, Heidelberg (2009)"},{"key":"5_CR21","first-page":"259","volume-title":"FOSE 2007: Future of Software Engineering","author":"J. Kramer","year":"2007","unstructured":"Kramer, J., Magee, J.: Self-Managed Systems: an Architectural Challenge. In: FOSE 2007: Future of Software Engineering, pp. 259\u2013268. IEEE Computer Society, Washington, DC (2007)"},{"issue":"10","key":"5_CR22","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1109\/MC.2004.175","volume":"37","author":"D. Garlan","year":"2004","unstructured":"Garlan, D., Cheng, S.W., Huang, A.C., Schmerl, B., Steenkiste, P.: Rainbow: Architecture-Based Self-Adaptation with Reusable Infrastructure. Computer\u00a037(10), 46\u201354 (2004)","journal-title":"Computer"},{"issue":"10","key":"5_CR23","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1109\/MC.2009.335","volume":"42","author":"J.C. Georgas","year":"2009","unstructured":"Georgas, J.C., Hoek, A., Taylor, R.N.: Using Architectural Models to Manage and Visualize Runtime Adaptation. Computer\u00a042(10), 52\u201360 (2009)","journal-title":"Computer"},{"issue":"10","key":"5_CR24","doi-asserted-by":"publisher","first-page":"22","DOI":"10.1109\/MC.2009.326","volume":"42","author":"G. Blair","year":"2009","unstructured":"Blair, G., Bencomo, N., France, R.B.: Models@run.time: Guest Editors\u2019 Introduction. Computer\u00a042(10), 22\u201327 (2009)","journal-title":"Computer"},{"key":"5_CR25","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1145\/1882362.1882367","volume-title":"Proceedings of the FSE\/SDP Workshop on Future of Software Engineering Research (FoSER 2010)","author":"L. Baresi","year":"2010","unstructured":"Baresi, L., Ghezzi, C.: The disappearing boundary between development-time and run-time. In: Proceedings of the FSE\/SDP Workshop on Future of Software Engineering Research (FoSER 2010), pp. 17\u201322. ACM, New York (2010)"},{"key":"5_CR26","doi-asserted-by":"crossref","unstructured":"Gacek, C., Giese, H., Hadar, E.: Friends or Foes? \u2013 A Conceptual Analysis of Self-Adaptation and IT Change Management. In: Proc. of the ICSE 2008 Workshop on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2008), Leipzig, Germany. ACM Press (2008)","DOI":"10.1145\/1370018.1370040"},{"key":"5_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"402","DOI":"10.1007\/3-540-45832-8_30","volume-title":"Graph Transformation","author":"L. Baresi","year":"2002","unstructured":"Baresi, L., Heckel, R.: Tutorial Introduction to Graph Transformation: A Software Engineering Perspective. In: Corradini, A., Ehrig, H., Kreowski, H.-J., Rozenberg, G. (eds.) ICGT 2002. LNCS, vol.\u00a02505, pp. 402\u2013429. Springer, Heidelberg (2002)"},{"key":"5_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"6","DOI":"10.1007\/978-3-642-17322-6_2","volume-title":"Graph Transformations and Model-Driven Engineering","author":"A. Rensink","year":"2010","unstructured":"Rensink, A.: The Edge of Graph Transformation \u2014 Graphs for Behavioural Specification. In: Engels, G., Lewerentz, C., Sch\u00e4fer, W., Sch\u00fcrr, A., Westfechtel, B. (eds.) Nagl Festschrift. LNCS, vol.\u00a05765, pp. 6\u201332. Springer, Heidelberg (2010)"},{"key":"5_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"90","DOI":"10.1007\/11495628_5","volume-title":"Scenarios: Models, Transformations and Tools","author":"H. Giese","year":"2005","unstructured":"Giese, H., Klein, F.: Autonomous Shuttle System Case Study. In: Leue, S., Syst\u00e4, T.J. (eds.) Scenarios. LNCS, vol.\u00a03466, pp. 90\u201394. Springer, Heidelberg (2005)"},{"key":"5_CR30","unstructured":"International Telecommunication\u00a0Union, I.: ITU-T Recommendation Z.100: Specification and Description Language (SDL) (2002)"},{"key":"5_CR31","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"48","DOI":"10.1007\/978-3-540-27863-4_5","volume-title":"Integration of Software Specification Techniques for Applications in Engineering","author":"W. Sch\u00e4fer","year":"2004","unstructured":"Sch\u00e4fer, W., Wagner, R., Gausemeier, J., Eckes, R.: An Engineer\u2019s Workstation to Support Integrated Development of Flexible Production Control Systems. In: Ehrig, H., Damm, W., Desel, J., Gro\u00dfe-Rhode, M., Reif, W., Schnieder, E., Westk\u00e4mper, E. (eds.) INT 2004. LNCS, vol.\u00a03147, pp. 48\u201368. Springer, Heidelberg (2004)"},{"key":"5_CR32","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1017\/S0960129508007202","volume":"19","author":"A. Habel","year":"2009","unstructured":"Habel, A., Pennemann, K.H.: Correctness of high-level transformation systems relative to nested conditions. Mathematical Structures in Computer Science\u00a019, 1\u201352 (2009)","journal-title":"Mathematical Structures in Computer Science"},{"key":"5_CR33","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"330","DOI":"10.1007\/978-3-642-15928-2_22","volume-title":"Graph Transformations","author":"H. Ehrig","year":"2010","unstructured":"Ehrig, H., Habel, A., Lambers, L., Orejas, F., Golas, U.: Local Confluence for Rules with Nested Application Conditions. In: Ehrig, H., Rensink, A., Rozenberg, G., Sch\u00fcrr, A. (eds.) ICGT 2010. LNCS, vol.\u00a06372, pp. 330\u2013345. Springer, Heidelberg (2010)"},{"volume-title":"Handbook of Graph Grammars and Computing by Graph Transformation","year":"1999","key":"5_CR34","unstructured":"Rozenberg, G. (ed.): Handbook of Graph Grammars and Computing by Graph Transformation, vol.\u00a01. World Scientific, Singapore (1999)"},{"key":"5_CR35","unstructured":"Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamentals of Algebraic Graph Transformation. Springer (2006)"},{"key":"5_CR36","first-page":"185","volume-title":"An algebraic framework for the transformation of attributed graphs","author":"M. L\u00f6we","year":"1993","unstructured":"L\u00f6we, M., Korff, M., Wagner, A.: An algebraic framework for the transformation of attributed graphs, pp. 185\u2013199. John Wiley and Sons Ltd., Chichester (1993)"},{"key":"5_CR37","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"128","DOI":"10.1007\/978-3-540-30203-2_11","volume-title":"Graph Transformations","author":"D. Plump","year":"2004","unstructured":"Plump, D., Steinert, S.: Towards Graph Programs for Graph Algorithms. In: Ehrig, H., Engels, G., Parisi-Presicce, F., Rozenberg, G. (eds.) ICGT 2004. LNCS, vol.\u00a03256, pp. 128\u2013143. Springer, Heidelberg (2004)"},{"key":"5_CR38","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1007\/978-3-642-15928-2_4","volume-title":"Graph Transformations","author":"F. Orejas","year":"2010","unstructured":"Orejas, F., Lambers, L.: Delaying Constraint Solving in Symbolic Graph Transformation. In: Ehrig, H., Rensink, A., Rozenberg, G., Sch\u00fcrr, A. (eds.) ICGT 2010. LNCS, vol.\u00a06372, pp. 43\u201358. Springer, Heidelberg (2010)"},{"key":"5_CR39","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"214","DOI":"10.1007\/978-3-540-24721-0_16","volume-title":"Fundamental Approaches to Software Engineering","author":"R. Bardohl","year":"2004","unstructured":"Bardohl, R., Ehrig, H., de Lara, J., Taentzer, G.: Integrating Meta-modelling Aspects with\u00a0Graph\u00a0Transformation\u00a0for\u00a0Efficient Visual Language Definition and Model Manipulation. In: Wermelinger, M., Margaria-Steffen, T. (eds.) FASE 2004. LNCS, vol.\u00a02984, pp. 214\u2013228. Springer, Heidelberg (2004)"},{"key":"5_CR40","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1016\/j.tcs.2012.01.032","volume":"424","author":"U. Golas","year":"2012","unstructured":"Golas, U., Lambers, L., Ehrig, H., Orejas, F.: Attributed graph transformation with inheritance: Efficient conflict detection and local confluence analysis using abstract critical pairs. Theoretical Computer Science\u00a0424, 46\u201368 (2012)","journal-title":"Theoretical Computer Science"},{"key":"5_CR41","doi-asserted-by":"crossref","unstructured":"Gorp, P.V., Mazanek, S., Rose, L. (eds.): Proceedings Fifth Transformation Tool Contest. EPTCS, vol.\u00a074 (2011)","DOI":"10.4204\/EPTCS.74.0"},{"key":"5_CR42","doi-asserted-by":"publisher","first-page":"551","DOI":"10.1142\/9789812815149_0014","volume-title":"Handbook of Graph Grammars and Computing by Graph Transformation: Applications, Languages, and Tools","author":"C. Ermel","year":"1999","unstructured":"Ermel, C., Rudolf, M., Taentzer, G.: The AGG approach: language and environment. In: Ehrig, H., Engels, G., Rozenberg, G. (eds.) Handbook of Graph Grammars and Computing by Graph Transformation: Applications, Languages, and Tools, vol.\u00a02, pp. 551\u2013603. World Scientific Publishing Co., Inc., River Edge (1999)"},{"key":"5_CR43","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1007\/978-3-642-16145-2_9","volume-title":"Model Driven Engineering Languages and Systems","author":"T. Arendt","year":"2010","unstructured":"Arendt, T., Biermann, E., Jurack, S., Krause, C., Taentzer, G.: Henshin: Advanced Concepts and Tools for In-Place EMF Model Transformations. In: Petriu, D.C., Rouquette, N., Haugen, \u00d8. (eds.) MoDELS 2010. LNCS, vol.\u00a06394, pp. 121\u2013135. Springer, Heidelberg (2010)"},{"key":"5_CR44","doi-asserted-by":"publisher","first-page":"487","DOI":"10.1142\/9789812815149_0013","volume-title":"Handbook of Graph Grammars and Computing by Graph Transformation: Application, Languages and Tools","author":"A. Sch\u00fcrr","year":"1999","unstructured":"Sch\u00fcrr, A., Winter, A., Z\u00fcndorf, A.: The PROGRES Approach: Language and Environment. In: Ehrig, H., Engels, G., Kreowski, H.J., Rozenberg, G. (eds.) Handbook of Graph Grammars and Computing by Graph Transformation: Application, Languages and Tools, vol.\u00a02, pp. 487\u2013546. World Scientific, Singapore (1999)"},{"key":"5_CR45","unstructured":"Giese, H., Hildebrandt, S., Seibel, A.: Improved Flexibility and Scalability by Interpreting Story Diagrams. In: Magaria, T., Padberg, J., Taentzer, G. (eds.) Proceedings of the Eighth International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2009), Electronic Communications of the EASST, vol.\u00a018 (2009)"},{"issue":"4","key":"5_CR46","doi-asserted-by":"publisher","first-page":"493","DOI":"10.1007\/s10270-009-0146-z","volume":"9","author":"A. Seibel","year":"2010","unstructured":"Seibel, A., Neumann, S., Giese, H.: Dynamic hierarchical mega models: comprehensive traceability and its efficient maintenance. Software and System Modeling\u00a09(4), 493\u2013528 (2010), doi:10.1007\/s10270-009-0146-z","journal-title":"Software and System Modeling"},{"key":"5_CR47","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"296","DOI":"10.1007\/978-3-540-46464-8_21","volume-title":"Theory and Application of Graph Transformations","author":"T. Fischer","year":"2000","unstructured":"Fischer, T., Niere, J., Torunski, L., Z\u00fcndorf, A.: Story Diagrams: A New Graph Rewrite Language Based on the Unified Modeling Language and Java. In: Ehrig, H., Engels, G., Kreowski, H.-J., Rozenberg, G. (eds.) TAGT 1998. LNCS, vol.\u00a01764, pp. 296\u2013309. Springer, Heidelberg (2000)"},{"key":"5_CR48","unstructured":"Z\u00fcndorf, A.: Rigorous Object Oriented Software Development with Fujaba. Draft Version 0.3. (2002), http:\/\/www.se.eecs.uni-kassel.de\/se\/fileadmin\/se\/publications\/Zuen02.pdf"},{"key":"5_CR49","doi-asserted-by":"crossref","unstructured":"Becker, B., Beyer, D., Giese, H., Klein, F., Schilling, D.: Symbolic Invariant Verification for Systems with Dynamic Structural Adaptation. In: Proc. of the 28th International Conference on Software Engineering (ICSE), Shanghai, China. ACM Press (2006)","DOI":"10.1145\/1134285.1134297"},{"key":"5_CR50","unstructured":"Fowler, M.: Refactoring: Improving the Design of Existing Code. Addison-Wesley (1999)"},{"key":"5_CR51","doi-asserted-by":"crossref","unstructured":"Krasnogolowy, A., Hildebrandt, S., W\u00e4tzoldt, S.: Flexible Debugging of Behavior Models. In: Proceedings of 2012 IEEE International Conference on Industrial Technology (ICIT). IEEE (2011)","DOI":"10.1109\/ICIT.2012.6209959"},{"key":"5_CR52","unstructured":"St\u00fcrmer, I., Kreuz, I., Sch\u00e4fer, W., Sch\u00fcrr, A.: Enhanced Simulink\/Stateflow Model Transformation: The MATE Approach. In: Proc. of MathWorks Automotive Conference (MAC 2007), Dearborn (MI), USA (2007)"},{"key":"5_CR53","unstructured":"Schafe, S.: Objektorientierte Entwurfsmethoden. Addison-Wesley (1994)"},{"key":"5_CR54","doi-asserted-by":"crossref","unstructured":"Giese, H., Hildebrandt, S., Lambers, L.: Toward Bridging the Gap Between Formal Semantics and Implementation of Triple Graph Grammars. In: Proceedings of MoDeVVa 2010, Models Workshop on Model-Driven Engineering, Verification and Validation, Oslo, Norway (2010)","DOI":"10.1109\/MoDeVVa.2010.14"},{"key":"5_CR55","doi-asserted-by":"crossref","unstructured":"Giese, H., Hildebrandt, S., Lambers, L.: Toward Bridging the Gap Between Formal Semantics and Implementation of Triple Graph Grammars. Technical Report\u00a037, Hasso Plattner Institute at the University of Potsdam (2010)","DOI":"10.1109\/MoDeVVa.2010.14"},{"issue":"1","key":"5_CR56","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/200994.200996","volume":"17","author":"J.M. Larchev\u00eaque","year":"1995","unstructured":"Larchev\u00eaque, J.M.: Optimal incremental parsing. ACM Trans. Program. Lang. Syst.\u00a017(1), 1\u201315 (1995)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"5_CR57","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"543","DOI":"10.1007\/11880240_38","volume-title":"Model Driven Engineering Languages and Systems","author":"H. Giese","year":"2006","unstructured":"Giese, H., Wagner, R.: Incremental Model Synchronization with Triple Graph Grammars. In: Nierstrasz, O., Whittle, J., Harel, D., Reggio, G. (eds.) MoDELS 2006. LNCS, vol.\u00a04199, pp. 543\u2013557. Springer, Heidelberg (2006)"},{"key":"5_CR58","doi-asserted-by":"crossref","unstructured":"Giese, H., Wagner, R.: From model transformation to incremental bidirectional model synchronization. Software and Systems Modeling (SoSyM)\u00a08(1) (March 28, 2009)","DOI":"10.1007\/s10270-008-0089-9"},{"key":"5_CR59","doi-asserted-by":"crossref","unstructured":"Giese, H., Hildebrandt, S.: Incremental Model Synchronization for Multiple Updates. In: Proceedings of the 3rd International Workshop on Graph and Model Transformations, GraMoT 2008, Leipzig, Germany, May 12. ACM Press (2008)","DOI":"10.1145\/1402947.1402949"},{"key":"5_CR60","unstructured":"Giese, H., Hildebrandt, S.: Efficient Model Synchronization of Large-Scale Models. Technical Report\u00a028, Hasso Plattner Institute at the University of Potsdam (2009)"},{"key":"5_CR61","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"555","DOI":"10.1007\/978-3-642-17322-6_24","volume-title":"Graph Transformations and Model-Driven Engineering","author":"H. Giese","year":"2010","unstructured":"Giese, H., Hildebrandt, S., Neumann, S.: Model Synchronization at Work: Keeping SysML and AUTOSAR Models Consistent. In: Engels, G., Lewerentz, C., Sch\u00e4fer, W., Sch\u00fcrr, A., Westfechtel, B. (eds.) Nagl Festschrift. LNCS, vol.\u00a05765, pp. 555\u2013579. Springer, Heidelberg (2010)"},{"key":"5_CR62","doi-asserted-by":"crossref","unstructured":"Vogel, T., Neumann, S., Hildebrandt, S., Giese, H., Becker, B.: Model-Driven Architectural Monitoring and Adaptation for Autonomic Systems. In: Proceedings of the 6th IEEE\/ACM International Conference on Autonomic Computing and Communications (ICAC 2009), Barcelona, Spain. ACM (2009)","DOI":"10.1145\/1555228.1555249"},{"key":"5_CR63","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"124","DOI":"10.1007\/978-3-642-12261-3_13","volume-title":"Models in Software Engineering","author":"T. Vogel","year":"2010","unstructured":"Vogel, T., Neumann, S., Hildebrandt, S., Giese, H., Becker, B.: Incremental Model Synchronization for Efficient Run-Time Monitoring. In: Ghosh, S. (ed.) MODELS 2009 Workshops. LNCS, vol.\u00a06002, pp. 124\u2013139. Springer, Heidelberg (2010)"},{"key":"5_CR64","doi-asserted-by":"crossref","unstructured":"Vogel, T., Giese, H.: Adaptation and Abstract Runtime Models. In: Proceedings of the 5th Workshop on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2010) at the 32nd IEEE\/ACM International Conference on Software Engineering (ICSE 2010), Cape Town, South Africa, pp. 39\u201348. ACM (2010)","DOI":"10.1145\/1808984.1808989"},{"key":"5_CR65","doi-asserted-by":"crossref","unstructured":"Vogel, T., Giese, H.: Requirements and Assessment of Languages and Frameworks for Adaptation Models. In: Kienzle, J. (ed.) MODELS 2011 Workshops. LNCS, vol.\u00a07167, pp. 167\u2013182. Springer, Heidelberg (2012)","DOI":"10.1007\/978-3-642-29645-1_18"},{"key":"5_CR66","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"224","DOI":"10.1007\/978-3-642-21210-9_22","volume-title":"Models in Software Engineering","author":"T. Vogel","year":"2011","unstructured":"Vogel, T., Seibel, A., Giese, H.: The Role of Models and Megamodels at Runtime. In: Dingel, J., Solberg, A. (eds.) MODELS 2010 Workshops. LNCS, vol.\u00a06627, pp. 224\u2013238. Springer, Heidelberg (2011)"},{"key":"5_CR67","doi-asserted-by":"crossref","unstructured":"Vogel, T., Giese, H.: A Language for Feedback Loops in Self-Adaptive Systems: Executable Runtime Megamodels. In: Proceedings of the 7th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2012). IEEE Computer Society (2012)","DOI":"10.1109\/SEAMS.2012.6224399"},{"key":"5_CR68","doi-asserted-by":"crossref","unstructured":"Hausmann, J., Heckel, R., Taentzer, G.: Detection of Conflicting Functional Requirements in a Use Case-Driven Approach. In: Proc. of Int. Conference on Software Engineering 2002, Orlando, USA, pp. 105\u2013115. IEEE Computer Society (2002)","DOI":"10.1145\/581339.581355"},{"key":"5_CR69","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"182","DOI":"10.1007\/978-3-540-69489-2_23","volume-title":"Models in Software Engineering","author":"G. Engels","year":"2007","unstructured":"Engels, G., G\u00fcldali, B., Lohmann, M.: Towards Model-Driven Unit Testing. In: K\u00fchne, T. (ed.) MODELS 2006 Workshops. LNCS, vol.\u00a04364, pp. 182\u2013192. Springer, Heidelberg (2007)"},{"key":"5_CR70","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"156","DOI":"10.1007\/11768869_13","volume-title":"Formal Methods for Open Object-Based Distributed Systems","author":"K. Ehrig","year":"2006","unstructured":"Ehrig, K., K\u00fcster, J., Taentzer, G., Winkelmann, J.: Generating Instance Models from Meta Models. In: Gorrieri, R., Wehrheim, H. (eds.) FMOODS 2006. LNCS, vol.\u00a04037, pp. 156\u2013170. Springer, Heidelberg (2006)"},{"key":"5_CR71","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1007\/978-3-540-31984-9_4","volume-title":"Fundamental Approaches to Software Engineering","author":"R. Heckel","year":"2005","unstructured":"Heckel, R., Mariani, L.: Automatic Conformance Testing of Web Services. In: Cerioli, M. (ed.) FASE 2005. LNCS, vol.\u00a03442, pp. 34\u201348. Springer, Heidelberg (2005)"},{"key":"5_CR72","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"226","DOI":"10.1007\/978-3-540-30203-2_17","volume-title":"Graph Transformations","author":"A. Rensink","year":"2004","unstructured":"Rensink, A., Schmidt, \u00c1., Varr\u00f3, D.: Model Checking Graph Transformations: A Comparison of Two Approaches. In: Ehrig, H., Engels, G., Parisi-Presicce, F., Rozenberg, G. (eds.) ICGT 2004. LNCS, vol.\u00a03256, pp. 226\u2013241. Springer, Heidelberg (2004)"},{"key":"5_CR73","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"299","DOI":"10.1007\/11691617_19","volume-title":"Model Checking Software","author":"H. Kastenberg","year":"2006","unstructured":"Kastenberg, H., Rensink, A.: Model Checking Dynamic States in GROOVE. In: Valmari, A. (ed.) SPIN 2006. LNCS, vol.\u00a03925, pp. 299\u2013305. Springer, Heidelberg (2006)"},{"key":"5_CR74","doi-asserted-by":"crossref","unstructured":"Strecker, M.: Modeling and Verifying Graph Transformations in Proof Assistants. In: Mackie, I., Plump, D. (eds.) International Workshop on Computing with Terms and Graphs (TERMGRAPH), Braga, Portugal, March 31, 2007. Electronic Notes in Theoretical Computer Science, vol.\u00a0203, pp. 135\u2013148. Elsevier Science (2008), http:\/\/www.elsevier.com","DOI":"10.1016\/j.entcs.2008.03.039"},{"key":"5_CR75","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1007\/978-3-540-87405-8_20","volume-title":"Graph Transformations","author":"K.H. Pennemann","year":"2008","unstructured":"Pennemann, K.H.: Resolution-Like Theorem Proving for High-Level Conditions. In: Ehrig, H., Heckel, R., Rozenberg, G., Taentzer, G. (eds.) ICGT 2008. LNCS, vol.\u00a05214, pp. 289\u2013304. Springer, Heidelberg (2008)"},{"key":"5_CR76","unstructured":"Giese, H., Glesner, S., Leitner, J., Sch\u00e4fer, W., Wagner, R.: Towards Verified Model Transformations. In: Hearnden, D., S\u00fc\u00df, J., Baudry, B., Rapin, N. (eds.) Proc. of the 3rd International Workshop on Model Development, Validation and Verification (MoDeV2a), Genova, Italy, Le Commissariat \u00e0 l\u2019Energie Atomique - CEA, pp. 78\u201393 (October 2006)"},{"key":"5_CR77","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"381","DOI":"10.1007\/3-540-44685-0_26","volume-title":"CONCUR 2001 - Concurrency Theory","author":"P. Baldan","year":"2001","unstructured":"Baldan, P., Corradini, A., K\u00f6nig, B.: A Static Analysis Technique for Graph Transformation Systems. In: Larsen, K.G., Nielsen, M. (eds.) CONCUR 2001. LNCS, vol.\u00a02154, pp. 381\u2013395. Springer, Heidelberg (2001)"},{"key":"5_CR78","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"445","DOI":"10.1007\/11841883_31","volume-title":"Graph Transformations","author":"A. Habel","year":"2006","unstructured":"Habel, A., Pennemann, K.-H., Rensink, A.: Weakest Preconditions for High-Level Programs. In: Corradini, A., Ehrig, H., Montanari, U., Ribeiro, L., Rozenberg, G. (eds.) ICGT 2006. LNCS, vol.\u00a04178, pp. 445\u2013460. Springer, Heidelberg (2006)"},{"key":"5_CR79","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1007\/978-3-642-15928-2_10","volume-title":"Graph Transformations","author":"C.M. Poskitt","year":"2010","unstructured":"Poskitt, C.M., Plump, D.: A Hoare Calculus for Graph Programs. In: Ehrig, H., Rensink, A., Rozenberg, G., Sch\u00fcrr, A. (eds.) ICGT 2010. LNCS, vol.\u00a06372, pp. 139\u2013154. Springer, Heidelberg (2010)"},{"key":"5_CR80","unstructured":"Lambers, L.: Certifying Rule-Based Models using Graph Transformation. PhD thesis, Technische Universit\u00e4t Berlin (2010); Also as book available: S\u00fcdwestdeutscher Verlag f\u00fcr Hochschulschriften, ISBN: 978-3-8381-1650-1"},{"key":"5_CR81","doi-asserted-by":"crossref","unstructured":"Becker, B., Giese, H.: On Safe Service-Oriented Real-Time Coordination for Autonomous Vehicles. In: Proc. of 11th International Symposium on Object\/Component\/Service-Oriented Real-time Distributed Computing (ISORC), May 5-7, pp. 203\u2013210. IEEE Computer Society Press (2008)","DOI":"10.1109\/ISORC.2008.13"},{"key":"5_CR82","doi-asserted-by":"crossref","unstructured":"Becker, B., Giese, H.: Incremental Verification of Inductive Invariants for the Run-Time Evolution of Self-Adaptive Software-Intensive Systems. In: Proc. 1st International Workshop on Automated engineeRing of Autonomous and run-tiMe evolvIng Systems (ARAMIS), pp. 33\u201340. IEEE Computer Society Press (2008)","DOI":"10.1109\/ASEW.2008.4686291"},{"key":"5_CR83","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"401","DOI":"10.1007\/978-3-540-45236-2_23","volume-title":"FME 2003: Formal Methods","author":"M. Charpentier","year":"2003","unstructured":"Charpentier, M.: Composing Invariants. In: Araki, K., Gnesi, S., Mandrioli, D. (eds.) FME 2003. LNCS, vol.\u00a02805, pp. 401\u2013421. Springer, Heidelberg (2003)"},{"key":"5_CR84","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1007\/978-3-642-21732-6_9","volume-title":"Theory and Practice of Model Transformations","author":"B. Becker","year":"2011","unstructured":"Becker, B., Lambers, L., Dyck, J., Birth, S., Giese, H.: Iterative Development of Consistency-Preserving Rule-Based Refactorings. In: Cabot, J., Visser, E. (eds.) ICMT 2011. LNCS, vol.\u00a06707, pp. 123\u2013137. Springer, Heidelberg (2011)"},{"key":"5_CR85","unstructured":"Clarke, E.M., Grumberg, O., Peled, D.: Model Checking. MIT Press (2002)"},{"key":"5_CR86","doi-asserted-by":"crossref","unstructured":"Biere, A., Cimatti, A., Clarke, E., Strichman, O., Zhu, Y.: Bounded model checking. Advances in Computers\u00a058 (2003)","DOI":"10.1016\/S0065-2458(03)58003-2"},{"key":"5_CR87","doi-asserted-by":"publisher","first-page":"142","DOI":"10.1016\/0890-5401(92)90017-A","volume":"98","author":"J.R. Burch","year":"1992","unstructured":"Burch, J.R., Clarke, E.M., McMillan, K.L., Dill, D.L., Hwang, L.J.: Symbolic model checking: 1020 states and beyond. Inf. Comput.\u00a098, 142\u2013170 (1992)","journal-title":"Inf. Comput."},{"key":"5_CR88","unstructured":"Rensink, A.: Towards Model Checking Graph Grammars. In: Leuschel, M., Gruner, S., Presti, S.L. (eds.) 3rd Workshop on Automated Verification of Critical Systems (AVoCS), pp. 150\u2013160. Technical Report DSSE\u2013TR\u20132003\u20132, University of Southampton (2003)"},{"key":"5_CR89","doi-asserted-by":"publisher","first-page":"222","DOI":"10.1109\/EDOC.2008.44","volume-title":"Proceedings of the 2008 12th International IEEE Enterprise Distributed Object Computing Conference","author":"A. Cicchetti","year":"2008","unstructured":"Cicchetti, A., Ruscio, D.D., Eramo, R., Pierantonio, A.: Automating Co-evolution in Model-Driven Engineering. In: Proceedings of the 2008 12th International IEEE Enterprise Distributed Object Computing Conference, pp. 222\u2013231. IEEE Computer Society, Washington, DC (2008)"},{"key":"5_CR90","first-page":"30","volume-title":"Proceedings of the 2nd International Workshop on Model Comparison in Practice, IWMCP 2011","author":"D. Ruscio Di","year":"2011","unstructured":"Di Ruscio, D., Iovino, L., Pierantonio, A.: What is needed for managing co-evolution in MDE? In: Proceedings of the 2nd International Workshop on Model Comparison in Practice, IWMCP 2011, pp. 30\u201338. ACM, New York (2011)"},{"key":"5_CR91","unstructured":"Narayanan, A., Karsai, G.: Verifying Model Transformations by Structural Correspondence. Electronic Communications of the EASST: Graph Transformation and Visual Modeling Techniques 2008 \u00a010 (2008)"},{"key":"5_CR92","unstructured":"Varr\u00f3, D., Pataricza, A.: Automated Formal Verification of Model Transformations. In: J\u00fcrjens, J., Rumpe, B., France, R., Fernandez, E.B. (eds.) CSDUML 2003: Critical Systems Development in UML; Proceedings of the UML 2003 Workshop. Number TUM-I0323 in Technical Report, Technische Universitat Munchen, pp. 63\u201378 (September 2003)"},{"key":"5_CR93","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1007\/978-3-642-16265-7_14","volume-title":"Integrated Formal Methods","author":"M. H\u00fclsbusch","year":"2010","unstructured":"H\u00fclsbusch, M., K\u00f6nig, B., Rensink, A., Semenyak, M., Soltenborn, C., Wehrheim, H.: Showing Full Semantics Preservation in Model Transformation - A Comparison of Techniques. In: M\u00e9ry, D., Merz, S. (eds.) IFM 2010. LNCS, vol.\u00a06396, pp. 183\u2013198. Springer, Heidelberg (2010)"},{"issue":"2","key":"5_CR94","doi-asserted-by":"publisher","first-page":"283","DOI":"10.1016\/j.jss.2009.08.012","volume":"83","author":"J. Cabot","year":"2010","unstructured":"Cabot, J., Claris\u00f3, R., Guerra, E., Lara, J.: Verification and validation of declarative model-to-model transformations through invariants. J. Syst. Softw.\u00a083(2), 283\u2013302 (2010)","journal-title":"J. Syst. Softw."},{"key":"5_CR95","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"164","DOI":"10.1007\/978-3-642-02161-9_9","volume-title":"Software Engineering for Self-Adaptive Systems","author":"R. Rouvoy","year":"2009","unstructured":"Rouvoy, R., Barone, P., Ding, Y., Eliassen, F., Hallsteinsen, S., Lorenzo, J., Mamelli, A., Scholz, U.: MUSIC: Middleware Support for Self-Adaptation in Ubiquitous and Service-Oriented Environments. In: Cheng, B.H.C., de Lemos, R., Giese, H., Inverardi, P., Magee, J. (eds.) Self-Adaptive Systems. LNCS, vol.\u00a05525, pp. 164\u2013182. Springer, Heidelberg (2009)"},{"key":"5_CR96","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1007\/978-3-642-02161-9_10","volume-title":"Software Engineering for Self-Adaptive Systems","author":"N. Bencomo","year":"2009","unstructured":"Bencomo, N., Blair, G.: Using Architecture Models to Support the Generation and Operation of Component-Based Adaptive Systems. In: Cheng, B.H.C., de Lemos, R., Giese, H., Inverardi, P., Magee, J. (eds.) Self-Adaptive Systems. LNCS, vol.\u00a05525, pp. 183\u2013200. Springer, Heidelberg (2009)"},{"issue":"3","key":"5_CR97","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1007\/s10009-008-0067-0","volume":"10","author":"S. Burmester","year":"2008","unstructured":"Burmester, S., Giese, H., M\u00fcnch, E., Oberschelp, O., Klein, F., Scheideler, P.: Tool Support for the Design of Self-Optimizing Mechatronic Multi-Agent Systems. International Journal on Software Tools for Technology Transfer (STTT)\u00a010(3), 207\u2013222 (2008)","journal-title":"International Journal on Software Tools for Technology Transfer (STTT)"},{"key":"5_CR98","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"258","DOI":"10.1007\/978-3-540-71156-8_14","volume-title":"Reliable Systems on Unreliable Networked Platforms","author":"H. Giese","year":"2007","unstructured":"Giese, H.: Modeling and Verification of Cooperative Self-adaptive Mechatronic Systems. In: Kordon, F., Sztipanovits, J. (eds.) Monterey Workshop 2005. LNCS, vol.\u00a04322, pp. 258\u2013280. Springer, Heidelberg (2007)"},{"key":"5_CR99","doi-asserted-by":"crossref","unstructured":"Burmester, S., Giese, H.: Visual Integration of UML 2.0 and Block Diagrams for Flexible Reconfiguration in Mechatronic UML. In: Proc. of the IEEE Symposium on Visual Languages and Human-Centric Computing (VL\/HCC 2005), Dallas, Texas, USA, pp. 109\u2013116. IEEE Computer Society Press (2005)","DOI":"10.1109\/VLHCC.2005.68"},{"key":"5_CR100","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"212","DOI":"10.1007\/978-3-540-69073-3_23","volume-title":"Models in Software Engineering","author":"H.J. Goldsby","year":"2008","unstructured":"Goldsby, H.J., Cheng, B.H.C., Zhang, J.: AMOEBA-RT: Run-time verification of adaptive software. In: Giese, H. (ed.) MODELS 2008 Workshops. LNCS, vol.\u00a05002, pp. 212\u2013224. Springer, Heidelberg (2008)"},{"issue":"10","key":"5_CR101","doi-asserted-by":"publisher","first-page":"1361","DOI":"10.1016\/j.jss.2006.02.062","volume":"79","author":"J. Zhang","year":"2006","unstructured":"Zhang, J., Cheng, B.: Using temporal logic to specify adaptive program semantics. Journal of Systems and Software\u00a079(10), 1361\u20131369 (2006); Architecting Dependable Systems","journal-title":"Journal of Systems and Software"},{"key":"5_CR102","first-page":"371","volume-title":"ICSE 2006: Proceeding of the 28th International Conference on Software Engineering","author":"J. Zhang","year":"2006","unstructured":"Zhang, J., Cheng, B.: Model-based development of dynamically adaptive software. In: ICSE 2006: Proceeding of the 28th International Conference on Software Engineering, pp. 371\u2013380. ACM, New York (2006)"},{"key":"5_CR103","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1145\/1509239.1509262","volume-title":"AOSD 2009: Proceedings of the 8th ACM International Conference on Aspect-oriented Software Development","author":"J. Zhang","year":"2009","unstructured":"Zhang, J., Goldsby, H.J., Cheng, B.: Modular verification of dynamically adaptive systems. In: AOSD 2009: Proceedings of the 8th ACM International Conference on Aspect-oriented Software Development, pp. 161\u2013172. ACM, New York (2009)"},{"key":"5_CR104","doi-asserted-by":"crossref","unstructured":"Adler, R., Schaefer, I., Trapp, M., Poetzsch-Heffter, A.: Component-based modeling and verification of dynamic adaptation in safety-critical embedded systems. ACM Transactions on Embedded Computing Systems\u00a010, 20:1\u201320:39 (2011)","DOI":"10.1145\/1880050.1880056"},{"key":"5_CR105","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1007\/978-3-642-12029-9_10","volume-title":"Fundamental Approaches to Software Engineering","author":"H. Ehrig","year":"2010","unstructured":"Ehrig, H., Ermel, C., Runge, O., Bucchiarone, A., Pelliccione, P.: Formal Analysis and Verification of Self-Healing Systems. In: Rosenblum, D.S., Taentzer, G. (eds.) FASE 2010. LNCS, vol.\u00a06013, pp. 139\u2013153. Springer, Heidelberg (2010)"},{"key":"5_CR106","doi-asserted-by":"crossref","unstructured":"Giese, H., Tichy, M., Burmester, S., Sch\u00e4fer, W., Flake, S.: Towards the Compositional Verification of Real-Time UML Designs. In: Proc. of the European Software Engineering Conference (ESEC), Helsinki, Finland, Proc.\u00a0of the 9th European Software Engineering Conference Held Jointly with 11th ACM SIGSOFT International Symposium on Foundations of Software Engineering (ESEC\/FSE-11), pp. 38\u201347. ACM Press (2003)","DOI":"10.1145\/940071.940078"},{"key":"5_CR107","doi-asserted-by":"crossref","unstructured":"Becker, B., Giese, H.: Modeling of Correct Self-Adaptive Systems: A Graph Transformation System Based Approach. In: CSTST 2008: Proc. 5th Intl. Conference on Soft Computing as Transdisciplinary Science and Technology, pp. 508\u2013516. ACM Press (2008)","DOI":"10.1145\/1456223.1456326"},{"key":"5_CR108","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"140","DOI":"10.1007\/978-3-642-12261-3_14","volume-title":"Models in Software Engineering","author":"H. Song","year":"2010","unstructured":"Song, H., Xiong, Y., Chauvel, F., Huang, G., Hu, Z., Mei, H.: Generating Synchronization Engines between Running Systems and Their Model-Based Views. In: Ghosh, S. (ed.) MODELS 2009 Workshops. LNCS, vol.\u00a06002, pp. 140\u2013154. Springer, Heidelberg (2010)"},{"key":"5_CR109","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"782","DOI":"10.1007\/978-3-540-87875-9_54","volume-title":"Model Driven Engineering Languages and Systems","author":"B. Morin","year":"2008","unstructured":"Morin, B., Fleurey, F., Bencomo, N., J\u00e9z\u00e9quel, J.-M., Solberg, A., Dehlen, V., Blair, G.S.: An Aspect-Oriented and Model-Driven Approach for Managing Dynamic Variability. In: Czarnecki, K., Ober, I., Bruel, J.-M., Uhl, A., V\u00f6lter, M. (eds.) MoDELS 2008. LNCS, vol.\u00a05301, pp. 782\u2013796. Springer, Heidelberg (2008)"},{"issue":"10","key":"5_CR110","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1109\/MC.2009.327","volume":"42","author":"B. Morin","year":"2009","unstructured":"Morin, B., Barais, O., J\u00e9z\u00e9quel, J.M., Fleurey, F., Solberg, A.: Models@ Run.time to Support Dynamic Adaptation. Computer\u00a042(10), 44\u201351 (2009)","journal-title":"Computer"},{"key":"5_CR111","doi-asserted-by":"publisher","first-page":"122","DOI":"10.1109\/ICSE.2009.5070514","volume-title":"ICSE 2009: Proceedings of the 2009 IEEE 31st International Conference on Software Engineering","author":"B. Morin","year":"2009","unstructured":"Morin, B., Barais, O., Nain, G., J\u00e9z\u00e9quel, J.M.: Taming Dynamically Adaptive Systems using models and aspects. In: ICSE 2009: Proceedings of the 2009 IEEE 31st International Conference on Software Engineering, pp. 122\u2013132. IEEE Computer Society, Washington, DC (2009)"},{"key":"5_CR112","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"606","DOI":"10.1007\/978-3-642-04425-0_47","volume-title":"Model Driven Engineering Languages and Systems","author":"F. Fleurey","year":"2009","unstructured":"Fleurey, F., Solberg, A.: A Domain Specific Modeling Language Supporting Specification, Simulation and Execution of Dynamic Adaptive Systems. In: Sch\u00fcrr, A., Selic, B. (eds.) MoDELS 2009. LNCS, vol.\u00a05795, pp. 606\u2013621. Springer, Heidelberg (2009)"},{"key":"5_CR113","first-page":"5","volume-title":"Proceedings of the 8th Workshop on Assurances for Self-Adaptive Systems, ASAS 2011","author":"P. Inverardi","year":"2011","unstructured":"Inverardi, P., Mori, M.: Model checking requirements at run-time in adaptive systems. In: Proceedings of the 8th Workshop on Assurances for Self-Adaptive Systems, ASAS 2011, pp. 5\u20139. ACM, New York (2011)"}],"container-title":["Lecture Notes in Computer Science","Formal Methods for Model-Driven Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-30982-3_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,2]],"date-time":"2025-04-02T16:46:55Z","timestamp":1743612415000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-30982-3_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642309816","9783642309823"],"references-count":113,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-30982-3_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}