{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,3]],"date-time":"2026-10-03T06:45:57Z","timestamp":1791009957604,"version":"4.1.0"},"publisher-location":"Berlin, Heidelberg","reference-count":40,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540712282","type":"print"},{"value":"9783540712299","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-71229-9_11","type":"book-chapter","created":{"date-parts":[[2007,7,1]],"date-time":"2007-07-01T17:39:13Z","timestamp":1183311553000},"page":"156-171","source":"Crossref","is-referenced-by-count":17,"title":["Program Refactoring, Program Synthesis, and Model-Driven Development"],"prefix":"10.1007","author":[{"given":"Don","family":"Batory","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"11_CR1","doi-asserted-by":"crossref","unstructured":"Ancona, D., Damiani, F., Drossopoulou, S.: Polymorphic Bytecode: Compositional Compilation for Java-like Languages. In: POPL (2005)","DOI":"10.1145\/1040305.1040308"},{"key":"11_CR2","doi-asserted-by":"crossref","unstructured":"Antkiewicz, M., Czarnecki, K.: FeaturePlugin: Feature Modeling Plug-In for Eclipse. In: OOPSLA Eclipse Technology eXchange (ETX) Workshop (2004)","DOI":"10.1145\/1066129.1066143"},{"key":"11_CR3","doi-asserted-by":"crossref","unstructured":"Batory, D.: Concepts for a Database System Compiler. In: ACM PODS (1988)","DOI":"10.1145\/308386.308435"},{"key":"11_CR4","doi-asserted-by":"crossref","unstructured":"Batory, D., Lofaso, B., Smaragdakis, Y.: JTS: Tools for Implementing Domain-Specific Languages. In: International Conference on Software Reuse (1998)","DOI":"10.1109\/ICSR.1998.685739"},{"key":"11_CR5","doi-asserted-by":"crossref","unstructured":"Batory, D., et al.: Design Wizards and Visual Programming Environments for GenVoca Generators. IEEE Transactions on Software Engineering 26(5) (2000)","DOI":"10.1109\/32.846301"},{"key":"11_CR6","doi-asserted-by":"crossref","unstructured":"Batory, D., Sarvela, J.N., Rauschmayer, A.: Scaling Step-Wise Refinement. IEEE TSE (June 2004)","DOI":"10.1109\/ICSE.2003.1201199"},{"key":"11_CR7","doi-asserted-by":"crossref","unstructured":"Batory, D.: Multi-Level Models in Model-Driven Development, Product-Lines, and Met-aprogramming. IBM Systems Journal 45(3) (2006)","DOI":"10.1147\/sj.453.0527"},{"key":"11_CR8","doi-asserted-by":"crossref","unstructured":"Batory, D.: From Implementation to Theory in Product Synthesis. In: POPL 2007 keynote (2007)","DOI":"10.1145\/1190216.1190238"},{"key":"11_CR9","unstructured":"Bezivin, J.: From Object Composition to Model Transformation with the MDA. In: TOOLS\u2019USA (August 2001)"},{"key":"11_CR10","doi-asserted-by":"crossref","unstructured":"Binkley, D., et al.: Automated Refactoring of Object Oriented Code into Aspects. In: ICSM (2005)","DOI":"10.1109\/ICSM.2005.27"},{"key":"11_CR11","unstructured":"BMW: www.bmwusa.com"},{"key":"11_CR12","doi-asserted-by":"crossref","unstructured":"Brookes, F.P.: No Silver bullet: Essence and Accidents of Software Engineering. IEEE Computer (April 1987)","DOI":"10.1109\/MC.1987.1663532"},{"key":"11_CR13","volume-title":"Model-Driven Architecture Straight from the Masters","author":"A.W. Brown","year":"2004","unstructured":"Brown, A.W., et al.: An MDA Manifesto. In: Frankel, D.S., Parodi, J. (eds.) Model-Driven Architecture Straight from the Masters, Meghan-Kiffer Press, Tampa (2004)"},{"key":"11_CR14","volume-title":"Software Product Lines: Practices and Patterns","author":"P. Clements","year":"2001","unstructured":"Clements, P., Northrup, L.: Software Product Lines: Practices and Patterns. Addison-Wesley, Reading (2001)"},{"key":"11_CR15","doi-asserted-by":"crossref","unstructured":"Cole, L., Borba, P.: Deriving Refactorings for AspectJ. In: AOSD (2005)","DOI":"10.1145\/1052898.1052909"},{"key":"11_CR16","unstructured":"Dell Computers: http:\/\/www.dell.com"},{"key":"11_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"404","DOI":"10.1007\/11881216","volume-title":"ECOOP 2006 \u2013 Object-Oriented Programming","author":"D. Marinov","year":"2006","unstructured":"Marinov, D., et al.: Automated Detection of Refactorings in Evolving Components. In: Thomas, D. (ed.) ECOOP 2006. LNCS, vol.\u00a04067, pp. 404\u2013428. Springer, Heidelberg (2006)"},{"key":"11_CR18","doi-asserted-by":"crossref","unstructured":"Dig, D., Johnson, R.: How do APIs Evolve? A Story of Refactoring. Journal of Software Maintenance and Evolution 18(2) (2006)","DOI":"10.1002\/smr.328"},{"key":"11_CR19","doi-asserted-by":"crossref","unstructured":"Hanenberg, S., Oberschulte, C., Unland, R.: Refactoring of Aspect-Oriented Software. In: Net.ObjectDays (2003)","DOI":"10.1145\/976270.976278"},{"key":"11_CR20","volume-title":"Refactoring: Improving the Design of Existing Code","author":"M. Fowler","year":"2000","unstructured":"Fowler, M., et al.: Refactoring: Improving the Design of Existing Code. Addison-Wesley, Reading (2000)"},{"key":"11_CR21","unstructured":"Kang, K., et al.: Feature-Oriented Domain Analysis (FODA) Feasibility Study. Tech. Report CMU\/SEI-90-TR-21."},{"key":"11_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45337-7_18","volume-title":"ECOOP 2001 - Object-Oriented Programming","author":"G. Kiczales","year":"2001","unstructured":"Kiczales, G., et al.: An over-view of AspectJ. In: Knudsen, J.L. (ed.) ECOOP 2001. LNCS, vol.\u00a02072, Springer, Heidelberg (2001)"},{"key":"11_CR23","volume-title":"MDA Explained: The Model-Driven Architecture \u2013 Practice and Promise","author":"A. Kleppe","year":"2003","unstructured":"Kleppe, A., Warmer, J., Bast, W.: MDA Explained: The Model-Driven Architecture \u2013 Practice and Promise. Addison-Wesley, Reading (2003)"},{"key":"11_CR24","series-title":"Lecture Notes in Computer Science","volume-title":"UML Modeling Languages and Applications","author":"V. Kulkarni","year":"2005","unstructured":"Kulkarni, V., Reddy, S.: Model-Driven Development of Enterprise Applications. In: Jardim Nunes, N., et al. (eds.) UML Satellite Activities 2004. LNCS, vol.\u00a03297, Springer, Heidelberg (2005)"},{"key":"11_CR25","series-title":"Lecture Notes in Computer Science","first-page":"10","volume-title":"Generative and Component-Based Software Engineering","author":"D. Batory","year":"2001","unstructured":"Batory, D., Lopez-Herrejon, R.E.: A Standard Problem for Evaluating Product-Line Methodologies. In: Bosch, J. (ed.) GCSE 2001. LNCS, vol.\u00a02186, pp. 10\u201324. Springer, Heidelberg (2001)"},{"key":"11_CR26","doi-asserted-by":"crossref","unstructured":"Lopez-Herrejon, R., Batory, D., Lengauer, C.: A Disciplined Approach to Aspect Composition. In: PEPM (2006)","DOI":"10.1145\/1111542.1111554"},{"key":"11_CR27","series-title":"Lecture Notes in Computer Science","volume-title":"Functional Programming Languages and Computer Architecture","author":"E. Meijer","year":"1991","unstructured":"Meijer, E., Fokkinga, M., Paterson, R.: Functional Programming with Bananas, Lenses, Envelopes, and Barbed Wire. In: Hughes, J. (ed.) FPCA 1991. LNCS, vol.\u00a0523, Springer, Heidelberg (1991)"},{"key":"11_CR28","doi-asserted-by":"crossref","unstructured":"Monteiro, M.P., Fernandes, J.M.: Towards a Catalog of Aspect-Oriented Refactorings. In: AOSD (2005)","DOI":"10.1145\/1052898.1052908"},{"key":"11_CR29","doi-asserted-by":"crossref","unstructured":"Nystrom, N., Qi, X., Myers, A.C.: J&: Nested Intersection for Scalable Software Composition. In: OOPSLA (2006)","DOI":"10.1145\/1167473.1167476"},{"key":"11_CR30","unstructured":"Object Management Group, http:\/\/www.omg.org\/mda\/committed-products.htm"},{"key":"11_CR31","unstructured":"Odersky, M., et al.: An Overview of the Scala Programming Language (September 2004), http:\/\/www.scala-lang.org\/"},{"key":"11_CR32","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/1524.001.0001","volume-title":"Basic Category Theory for Computer Scientists","author":"B. Pierce","year":"1991","unstructured":"Pierce, B.: Basic Category Theory for Computer Scientists. MIT Press, Cambridge (1991)"},{"key":"11_CR33","doi-asserted-by":"crossref","unstructured":"Schmidt, D.C.: Model-Driven Engineering. IEEE Computer 39(2) (2006)","DOI":"10.1109\/MC.2006.58"},{"key":"11_CR34","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45441-1_11","volume-title":"\u00abUML\u00bb 2001 \u2013 The Unified Modeling Language. Modeling Languages, Concepts, and Tools","author":"G. Suny\u00e9","year":"2001","unstructured":"Suny\u00e9, G., et al.: Refactoring UML Models. In: Gogolla, M., Kobryn, C. (eds.) UML 2001. LNCS, vol.\u00a02185, Springer, Heidelberg (2001)"},{"key":"11_CR35","doi-asserted-by":"crossref","unstructured":"Sztipanovits, J., Karsai, G.: Model Integrated Computing. IEEE Computer (April 1997)","DOI":"10.1109\/2.585163"},{"key":"11_CR36","doi-asserted-by":"crossref","unstructured":"Taha, W., Sheard, T.: Multi-Stage Programming with Explicit Annotations. In: PEPM (1997)","DOI":"10.1145\/258993.259019"},{"key":"11_CR37","doi-asserted-by":"crossref","unstructured":"Trujillo, S., Batory, D., Diaz, O.: Feature Oriented Model-Driven Development: A Case Study for Portlets. In: ICSE (2007)","DOI":"10.1109\/ICSE.2007.36"},{"key":"11_CR38","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/b97155","volume-title":"<<UML>> 2004 - The Unified Modeling Language","author":"R. Straeten Van Der","year":"2004","unstructured":"Van Der Straeten, R., Jonckers, V., Mens, T.: Supporting Model Refactorings through Behaviour Inheritance Consistencies. In: Baar, T., et al. (eds.) UML 2004. LNCS, vol.\u00a03273, Springer, Heidelberg (2004)"},{"key":"11_CR39","doi-asserted-by":"crossref","unstructured":"Zhang, C., Jacobsen, H.-A.: Resolving Feature Convolution in Middleware Systems. In: OOPSLA (2004)","DOI":"10.1145\/1028976.1028992"},{"key":"11_CR40","volume-title":"Model-driven Software Development","author":"J. Zhang","year":"2005","unstructured":"Zhang, J., Lin, Y., Gray, J.: Generic and Domain-Specific Model Refactoring using a Model Transformation Engine. In: Beydeda, S., Book, M., Gruhn, V. (eds.) Model-driven Software Development, Springer, Heidelberg (2005)"}],"container-title":["Lecture Notes in Computer Science","Compiler Construction"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-71229-9_11.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,12]],"date-time":"2023-05-12T19:49:27Z","timestamp":1683920967000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-71229-9_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540712282","9783540712299"],"references-count":40,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-71229-9_11","relation":{},"subject":[]}}