Program refactoring, program synthesis, and model-driven development

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4420 LNCS, Issue , 2007, Pages 156-171

  Batory, Don ^a  

^a University of Texas at Austin   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER ARCHITECTURE; COMPUTER PROGRAMMING LANGUAGES; MATHEMATICAL MODELS; OBJECT ORIENTED PROGRAMMING;

ARCHITECTURAL METAPROGRAMMING; PROGRAM REFACTORING; PROGRAM SYNTHESIS;

COMPUTER SOFTWARE;

EID: 37149043574     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-71229-9_11     Document Type: Conference Paper

References (40)

1. D. Ancona, F. Damiani, and S. Drossopoulou. "Polymorphic Bytecode: Compositional Compilation for Java-like Languages", POPL 2005.
2. M. Antkiewicz and K. Czarnecki. "FeaturePlugin: Feature Modeling Plug-In for Eclipse", OOPSLA Eclipse Technology eXchange (ETX) Workshop, 2004.
3. D. Batory. "Concepts for a Database System Compiler", ACM PODS 1988.
4. D. Batory, B. Lof aso, and Y. Smaragdakis. "JTS: Tools for Implementing DomainSpecific Languages". International Conference on Software Reuse, 1998.
5. D. Batory, G.Chen, E. Robertson, and T. Wang. "Design Wizards and Visual Programming Environments for GenVoca Generators", IEEE TSE, May 2000.
6. D. Batory, J.N. Sarvela, and A. Rauschmayer. "Scaling Step-Wise Refinement", IEEE TSE, June 2004.
7. D. Batory. "Multi-Level Models in Model-Driven Development, Product-Lines, and Metaprogramming", IBM Systems Journal, 45#3, 2006.
8. D. Batory. "From Implementation to Theory in Product Synthesis", POPL 2007 keynote.
9. J. Bezivin. "From Object Composition to Model Transformation with the MDA", TOOLS'USA, August 2001.
10. D. Binkley, et al. "Automated Refactoring of Object Oriented Code into Aspects", ICSM 2005.
11. BMW. www.bmwusa.com
12. F.P. Brookes. "No Silver bullet: Essence and Accidents of Software Engineering", IEEE Computer, April 1987.
13. A. W. Brown, G. Booch, S. Iyengar, J. Rumbaugh, and B. Selic. "An MDA Manifesto", Chapter 11 in Model-Driven Architecture Straight from the Masters, D. S. Frankel and J. Parodi, Editors, Meghan-Kiffer Press, Tampa, FL, 2004.
14. P. Clements and L. Northrup. Software Product Lines: Practices and Patterns, Addison-Wesley, 2001.
15. L. Cole and P. Borba. "Deriving Refactorings for AspectJ", AOSD 2005.
16. Dell Computers.www.dell.com
17. D. Dig, C. Comertoglu, D. Marinov, and R. Johnson. "Automated Detection of Refactorings in Evolving Components", ECOOP 2006.
18. D. Dig and R. Johnson. "How do APIs Evolve? A Story of Refactoring", Journal of Software Maintenance and Evolution, 18#2, 2006.
19. S. Hanenberg, C. Oberschulte, and R. Unland. "Refactoring of Aspect-Oriented Software". Net.ObjectDays 2003.
20. M. Fowler, K. Beck, J. Brant, W. Opdyke, and D. Roberts. Refactoring: Improving the Design of Existing Code, Addison-Wesley, 2000.
21. K. Kang, et al. "Feature-Oriented Domain Analysis (FODA) Feasibility Study", Tech. Report CMU/SEI-90-TR-21.
22. G. Kiczales, E. Hilsdale, J. Hugunin, M. Kirsten, J. Palm, and W.G. Griswold. "An overview of AspectJ", ECOOP 2001.
23. A. Kleppe, J. Warmer, and W. Bast. MDA Explained: The Model-Driven Architecture Practice and Promise, Addison-Wesley, 2003.
24. V. Kulkarni and S. Reddy. "Model-Driven Development of Enterprise Applications", in UML Modeling Languages and Applications, Springer LNCS 3297, 2005.
25. R.E. Lopez-Herrejon and D. Batory. "A Standard Problem for Evaluating Product-Line Methodologies", GCSE 2001.
26. R. Lopez-Herrejon, D. Batory, and C. Lengauer. "A Disciplined Approach to Aspect Composition", PEPM 2006.
27. E. Meijer, M. Fokkinga, and R. Paterson. "Functional Programming with Bananas, Lenses, Envelopes, and Barbed Wire", FPCA 1991.
28. M.P. Monteiro and J.M. Fernandes. "Towards a Catalog of Aspect-Oriented Refactorings", AOSD 2005.
29. N. Nystrom, X. Qi, A.C. Myers. "J&: Nested Intersection for Scalable Software Composition", OOPSLA 2006.
30. Object Management Group, www. omg. org/mda/committed-products.htm
31. Odersky, M., et al. "An Overview of the Scala Programming Language". September 2004, scala.epfl.ch
32. B. Pierce. Basic Category Theory for Computer Scientists, MIT Press, 1991.
33. D.C. Schmidt. "Model-Driven Engineering". IEEE Computer 39(2), 2006.
34. G. Sunyé, D. Pollet, Y. Le Traon, J-M. Jézéquel. "Refactoring UML Models". Int Conf. UML, LNCS 2185, Springer-Verlag 2001.
35. J. Sztipanovits and G. Karsai. "Model Integrated Computing", IEEE Computer, April 1997.
36. W. Taha and T. Sheard. "Multi-Stage Programming with Explicit Annotations", PEPM 1997.
37. S. Trujillo, D. Batory, and O. Diaz. "Feature Oriented Model-Driven Development: A Case Study for Portlets", ICSE 2007.
38. R. Van Der Straeten, V. Junckers, and T. Mens. "Supporting Model Refactorings through Behaviour Inheritance Consistencies", Int Confi UML, LNCS 3273, Springer-Verlag 2004.
39. C. Zhang and H.-A. Jacobsen. "Resolving Feature Convolution in Middleware Systems", OOPSLA 2004.
40. J. Zhang, Y. Lin, and J. Gray. "Generic and Domain-Specific Model Refactoring using a Model Transformation Engine", in Model-driven Software Development, (S. Beydeda, M. Book, and V. Gruhn, eds.), Springer 2005.