{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,1]],"date-time":"2026-02-01T19:47:00Z","timestamp":1769975220985,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642217319","type":"print"},{"value":"9783642217326","type":"electronic"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"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":[[2011]]},"DOI":"10.1007\/978-3-642-21732-6_9","type":"book-chapter","created":{"date-parts":[[2011,6,28]],"date-time":"2011-06-28T01:56:26Z","timestamp":1309226186000},"page":"123-137","source":"Crossref","is-referenced-by-count":15,"title":["Iterative Development of Consistency-Preserving Rule-Based Refactorings"],"prefix":"10.1007","author":[{"given":"Basil","family":"Becker","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Leen","family":"Lambers","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Johannes","family":"Dyck","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stefanie","family":"Birth","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Holger","family":"Giese","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"9_CR1","volume-title":"Proc. of the 28 th International Conference on Software Engineering (ICSE)","author":"B. Becker","year":"2006","unstructured":"Becker, B., Beyer, D., Giese, H., Klein, F., Schilling, D.: Symbolic Invariant Verification for Systems with Dynamic Structural Adaptation. In: Proc. of the 28\n                  th\n                 International Conference on Software Engineering (ICSE). ACM Press, New York (2006)"},{"key":"9_CR2","unstructured":"Biermann, E., Ehrig, K., K\u00f6hler, C., Kuhns, G., Taentzer, G., Weiss, E.: EMF Model Refactoring based on Graph Transformation Concepts Electronic Communication of the EASST \u00a03 (2006)"},{"key":"9_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"308","DOI":"10.1007\/978-3-642-10248-6_13","volume-title":"Architecting Dependable Systems VI","author":"D. Bisztray","year":"2009","unstructured":"Bisztray, D., Heckel, R., Ehrig, H.: Compositional verification of architectural refactorings. In: de Lemos, R., Fabre, J.-C., Gacek, C., Gadducci, F., ter Beek, M. (eds.) Architecting Dependable Systems VI. LNCS, vol.\u00a05835, pp. 308\u2013333. Springer, Heidelberg (2009)"},{"issue":"3","key":"9_CR4","doi-asserted-by":"publisher","first-page":"106","DOI":"10.1016\/j.scico.2009.10.001","volume":"75","author":"M. Corn\u00e9lio","year":"2010","unstructured":"Corn\u00e9lio, M., Cavalcanti, A., Sampaio, A.: Sound refactorings. Science of Computer Programming\u00a075(3), 106\u2013133 (2010)","journal-title":"Science of Computer Programming"},{"key":"9_CR5","volume-title":"Fundamentals of Algebraic Graph Transformation","author":"H. Ehrig","year":"2006","unstructured":"Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamentals of Algebraic Graph Transformation. Springer, Heidelberg (2006)"},{"key":"9_CR6","unstructured":"Ehrig, H., Habel, A., Lambers, L.: Parallelism and Concurrency Theorems for Rules with Nested Application Conditions. In: Festschrift dedicated to Hans-Jorg Kreowski at the Occasion of his 60th Birthday, EC-EASST, vol.\u00a026 (2010)"},{"key":"9_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"212","DOI":"10.1007\/3-540-45800-X_18","volume-title":"\u00abUML\u00bb 2002 - The Unified Modeling Language. Model Engineering, Concepts, and Tools","author":"G. Engels","year":"2002","unstructured":"Engels, G., Heckel, R., K\u00fcster, J., Groenewegen, L.: Consistency-Preserving Model Evolution through Transformations. In: J\u00e9z\u00e9quel, J.-M., Hussmann, H., Cook, S. (eds.) UML 2002. LNCS, vol.\u00a02460, pp. 212\u2013226. Springer, Heidelberg (2002)"},{"key":"9_CR8","unstructured":"Folli, A., Mens, T.: Refactoring of UML models using AGG. Electronic Communication of the EASST\u00a08 (2007)"},{"key":"9_CR9","series-title":"Object Technology Series","volume-title":"Refactoring: Improving the Design of Existing Code","author":"M. Fowler","year":"1999","unstructured":"Fowler, M.: Refactoring: Improving the Design of Existing Code. Object Technology Series. Addison-Wesley, Reading (1999)"},{"key":"9_CR10","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1109\/SCAM.2006.16","volume-title":"Proc. of 6 th IEEE Intl. Workshop on Source Code Analysis and Manipulation SCAM 2006","author":"A. Garrido","year":"2006","unstructured":"Garrido, A., Meseguer, J.: Formal Specification and Verification of Java Refactorings. In: Proc. of 6\n                  th\n                 IEEE Intl. Workshop on Source Code Analysis and Manipulation SCAM 2006, pp. 165\u2013174. IEEE Computer Society, Los Alamitos (2006)"},{"key":"9_CR11","unstructured":"Giese, H., Hildebrandt, S., Seibel, A.: Improved flexibility and scalability by interpreting story diagrams. In: Proceedings of the Eighth International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2009), vol.\u00a018. Electronic Communications of the EASST (2009)"},{"key":"9_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"374","DOI":"10.1007\/978-3-642-12107-4_25","volume-title":"Software Language Engineering","author":"F. Heidenreich","year":"2010","unstructured":"Heidenreich, F., Johannes, J., Seifert, M., Wende, C.: Closing the Gap between Modelling and Java. In: van den Brand, M., Ga\u0161evi\u0107, D., Gray, J. (eds.) SLE 2009. LNCS, vol.\u00a05969, pp. 374\u2013383. Springer, Heidelberg (2010)"},{"key":"9_CR13","unstructured":"Lambers, L.: Certifying Rule-Based Models using Graph Transformation. Ph.D. thesis, Technische Universit\u00e4t Berlin (2010)"},{"issue":"4","key":"9_CR14","doi-asserted-by":"publisher","first-page":"247","DOI":"10.1002\/smr.316","volume":"17","author":"T. Mens","year":"2005","unstructured":"Mens, T., Eetvelde, N.V., Demeyer, S., Janssens, D.: Formalizing refactorings with graph transformations. Journal of Software Maintenance and Evolution: Research and Practice\u00a017(4), 247\u2013276 (2005)","journal-title":"Journal of Software Maintenance and Evolution: Research and Practice"},{"issue":"3","key":"9_CR15","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1007\/s10270-006-0044-6","volume":"6","author":"T. Mens","year":"2007","unstructured":"Mens, T., Taentzer, G., Runge, O.: Analysing refactoring dependencies using graph transformation. Software and Systems Modeling\u00a06(3), 269\u2013285 (2007)","journal-title":"Software and Systems Modeling"},{"key":"9_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"242","DOI":"10.1007\/978-3-540-87405-8_17","volume-title":"Graph Transformations","author":"G. Rangel","year":"2008","unstructured":"Rangel, G., Lambers, L., K\u00f6nig, B., Ehrig, H., Baldan, P.: Behavior Preservation in Model Refactoring using DPO Transformations with Borrowed Contexts. In: Ehrig, H., Heckel, R., Rozenberg, G., Taentzer, G. (eds.) ICGT 2008. LNCS, vol.\u00a05214, pp. 242\u2013256. Springer, Heidelberg (2008)"},{"key":"9_CR17","first-page":"1210","volume-title":"Proc. of the ACM Symposium on Applied Computing","author":"R. Straeten Van Der","year":"2006","unstructured":"Van Der Straeten, R., D\u2019Hondt, M.: Model refactorings through rule-based inconsistency resolution. In: Proc. of the ACM Symposium on Applied Computing, pp. 1210\u20131217. ACM, New York (2006)"}],"container-title":["Lecture Notes in Computer Science","Theory and Practice of Model Transformations"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-21732-6_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,29]],"date-time":"2019-03-29T13:57:39Z","timestamp":1553867859000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-21732-6_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642217319","9783642217326"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-21732-6_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011]]}}}