{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T14:29:33Z","timestamp":1742394573779},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540443100"},{"type":"electronic","value":"9783540458326"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45832-8_22","type":"book-chapter","created":{"date-parts":[[2007,8,28]],"date-time":"2007-08-28T11:13:34Z","timestamp":1188299614000},"page":"286-301","source":"Crossref","is-referenced-by-count":49,"title":["Formalising Behaviour Preserving Program Transformations"],"prefix":"10.1007","author":[{"given":"Tom","family":"Mens","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Serge","family":"Demeyer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dirk","family":"Janssens","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,10,24]]},"reference":[{"key":"22_CR1","unstructured":"Fowler, M.: Refactoring: Improving the Design of Existing Programs. Addison-Wesley (1999)"},{"key":"22_CR2","unstructured":"Opdyke, W.: Refactoring Object-Oriented Frameworks. PhD thesis, University of Illinois at Urbana-Champaign (1992)"},{"key":"22_CR3","doi-asserted-by":"crossref","unstructured":"Opdyke, W., Johnson, R.: Creating abstract superclasses by refactoring. In: Proc. ACM Computer Science Conference, ACM Press (1993) 66\u201373","DOI":"10.1145\/170791.170804"},{"key":"22_CR4","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1002\/(SICI)1096-9942(1997)3:4<253::AID-TAPO3>3.0.CO;2-T","volume":"3","author":"D. Roberts","year":"1997","unstructured":"Roberts, D., Brant, J., Johnson, R.: A refactoring tool for Smalltalk. Theory and Practice of Object Systems 3 (1997) 253\u2013263","journal-title":"Theory and Practice of Object Systems"},{"key":"22_CR5","first-page":"95","volume":"1","author":"E. Casais","year":"1994","unstructured":"Casais, E.: Automatic reorganization of object-oriented hierarchies: a case study. Object Oriented Systems 1 (1994) 95\u2013115","journal-title":"Object Oriented Systems"},{"key":"22_CR6","unstructured":"Tichelaar, S.: Modeling Object-Oriented Software for Reverse Engineering and Refactoring. PhD thesis, University of Bern (2001)"},{"key":"22_CR7","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"134","DOI":"10.1007\/3-540-45441-1_11","volume-title":"Proc. UML 2001","author":"G. Suny\u00e9","year":"2001","unstructured":"Suny\u00e9, G., Pollet, D., LeTraon, Y., J\u00e9z\u00e9quel, J.M.: Refactoring UML models. In: Proc. UML 2001. Volume 2185 of Lecture Notes in Computer Science., Springer-Verlag (2001) 134\u2013138"},{"key":"22_CR8","unstructured":"Roberts, D.: Practical Analysis for Refactoring. PhD thesis, University of Illinois at Urbana-Champaign (1999)"},{"key":"22_CR9","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"56","DOI":"10.1007\/3-540-61228-9_79","volume-title":"Proceedings 5th International Workshop on Graph Grammars and their Application to Computer Science","author":"A. Corradini","year":"1996","unstructured":"Corradini, A., Ehrig, H., L\u00f6we, M., Montanari, U., Padberg, J.: The category of typed graph grammars and their adjunction with categories of derivations. In: Proceedings 5th International Workshop on Graph Grammars and their Application to Computer Science. Volume 1073 of Lecture Notes in Computer Science., Springer-Verlag (1996) 56\u201374"},{"key":"22_CR10","doi-asserted-by":"crossref","unstructured":"Engels, G., Sch\u00fcrr, A.: Encapsulated hierarchical graphs, graph types and meta types. Electronic Notes in Theoretical Computer Science 2 (1995)","DOI":"10.1016\/S1571-0661(05)80186-0"},{"key":"22_CR11","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"219","DOI":"10.1007\/3-540-60406-5_17","volume-title":"Proc. European Conf. Software Engineering","author":"A. Sch\u00fcrr","year":"1995","unstructured":"Sch\u00fcrr, A., Winter, A.J., Z\u00fcndorf, A.: Graph grammar engineering with PROGRES. In Sch\u00ebfer, W., Botella, P., eds.: Proc. European Conf. Software Engineering. Volume 989 of Lecture Notes in Computer Science., Springer-Verlag (1995) 219\u2013234"},{"key":"22_CR12","doi-asserted-by":"crossref","first-page":"315","DOI":"10.3233\/FI-1996-263405","volume":"26","author":"D. Janssens","year":"1996","unstructured":"Janssens, D., Mens, T.: Abstract semantics for ESM systems. Fundamenta Informaticae 26 (1996) 315\u2013339","journal-title":"Fundamenta Informaticae"},{"key":"22_CR13","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1007\/3-540-45104-8_13","volume-title":"Proc. Int. Workshop Agtive 99","author":"J. Niere","year":"2000","unstructured":"Niere, J., Z\u00fcndorf, A.: Using Fujaba for the development of production control systems. In Nagl, M., Sch\u00fcrr, A., M\u00fcnch, M., eds.: Proc. Int. Workshop Agtive 99. Volume 1779 of Lecture Notes in Computer Science., Springer-Verlag (2000) 181\u2013191"},{"key":"22_CR14","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BFb0025714","volume-title":"Graph Grammars and Their Application to Computer Science and Biology","author":"H. Ehrig","year":"1979","unstructured":"Ehrig, H.: Introduction to the algebraic theory of graph grammars. In Claus, V., Ehrig, H., Rozenberg, G., eds.: Graph Grammars and Their Application to Computer Science and Biology. Volume 73 of Lecture Notes in Computer Science., Springer-Verlag (1979) 1\u201369"},{"key":"22_CR15","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1016\/0304-3975(93)90068-5","volume":"109","author":"M. L\u00f6we","year":"1993","unstructured":"L\u00f6we, M.: Algebraic approach to single-pushout graph transformation. Theoretical Computer Science 109 (1993) 181\u2013224","journal-title":"Theoretical Computer Science"},{"key":"22_CR16","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1007\/BFb0025718","volume-title":"Graph Grammars and Their Application to Computer Science and Biology","author":"H. Bunke","year":"1979","unstructured":"Bunke, H.: Programmed graph grammars. In Claus, V., Ehrig, H., Rozenberg, G., eds.: Graph Grammars and Their Application to Computer Science and Biology. Volume 73 of Lecture Notes in Computer Science., Springer-Verlag (1979) 155\u2013166"},{"key":"22_CR17","doi-asserted-by":"crossref","first-page":"607","DOI":"10.1142\/9789812815149_0015","volume":"2","author":"H.J. Kreowski","year":"1999","unstructured":"Kreowski, H.J., Kuske, S.: Graph transformation units and modules. Handbook of Graph Grammars and Computing by Graph Transformation 2 (1999) 607\u2013638","journal-title":"Handbook of Graph Grammars and Computing by Graph Transformation"},{"key":"22_CR18","doi-asserted-by":"crossref","first-page":"363","DOI":"10.3233\/FI-1996-263407","volume":"26","author":"A. Sch\u00fcrr","year":"1996","unstructured":"Sch\u00fcrr, A.: Logic based programmed structure rewriting systems. Fundamenta Informaticae 26 (1996) 363\u2013385","journal-title":"Fundamenta Informaticae"},{"key":"22_CR19","doi-asserted-by":"crossref","first-page":"287","DOI":"10.3233\/FI-1996-263404","volume":"26","author":"A. Habel","year":"1996","unstructured":"Habel, A., Heckel, R., Taentzer, G.: Graph grammars with negative application conditions. Fundamenta Informaticae 26 (1996) 287\u2013313","journal-title":"Fundamenta Informaticae"},{"key":"22_CR20","unstructured":"Heckel, R.: Algebraic graph transformations with application conditions. Master\u2019s thesis, TU Berlin (1995)"}],"container-title":["Lecture Notes in Computer Science","Graph Transformation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45832-8_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,26]],"date-time":"2020-04-26T01:15:35Z","timestamp":1587863735000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45832-8_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540443100","9783540458326"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/3-540-45832-8_22","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}