3rd International Workshop on Software Evolution Through Transformations: Embracing Change

Transformation-based techniques such as refactoring, model transformation and model-driven development, architectural reconfiguration, etc. are at the heart of many software engineering activities, making it possible to cope with an ever changing environment. This workshop provides a forum for discussing these techniques, their formal foundations and applications.

[1]  Bashar Nuseibeh.  Crosscutting requirements , 2004, AOSD '04.

[2]  Martin S. Feather,et al.  A survey and classification of some program transformation approaches and techniques , 1987 .

[3]  Winfried Lamersdorf,et al.  Jadex: Implementing a BDI-Infrastructure for JADE Agents , 2003 .

[4]  John Mylopoulos,et al.  Representing and Using Nonfunctional Requirements: A Process-Oriented Approach , 1992, IEEE Trans. Software Eng..

[5]  Boris Motik,et al.  A mapping system for the integration of OWL-DL ontologies , 2005, IHIS '05.

[6]  Peter Sestoft,et al.  MK Pattern Match Compilation and Partial Evaluation , 1996, Dagstuhl Seminar on Partial Evaluation.

[7]  Gabriele Taentzer,et al.  Specifying Integrated Refactoring with Distributed Graph Transformations , 2003, AGTIVE.

[8]  Václav Rajlich,et al.  Reengineering object-oriented code , 1998, Proceedings. International Conference on Software Maintenance (Cat. No. 98CB36272).

[9]  C. A. R. Hoare,et al.  Laws of programming , 1987, CACM.

[10]  Jirí Adámek,et al.  Abstract and Concrete Categories - The Joy of Cats , 1990 .

[11]  Stefan Jablonski,et al.  A comprehensive investigation of distribution in the context of workflow management , 2001, Proceedings. Eighth International Conference on Parallel and Distributed Systems. ICPADS 2001.

[12]  Frédéric Jouault,et al.  Transforming Models with ATL , 2005, MoDELS.

[13]  Stanley M. Sutton,et al.  N degrees of separation: multi-dimensional separation of concerns , 1999, Proceedings of the 1999 International Conference on Software Engineering (IEEE Cat. No.99CB37002).

[14]  Michael D. Ernst,et al.  An overview of JML tools and applications , 2003, International Journal on Software Tools for Technology Transfer.

[15]  Axel van Lamsweerde,et al.  Handling Obstacles in Goal-Oriented Requirements Engineering , 2000, IEEE Trans. Software Eng..

[16]  Mehrdad Sabetzadeh,et al.  A manifesto for model merging , 2006, GaMMa '06.

[17]  William F. Opdyke,et al.  Refactoring object-oriented frameworks , 1992 .

[18]  G Ui.  In the following we consider , 1985 .

[19]  Jürgen Ebert,et al.  GUPRO - Generic Understanding of Programs , 2002, Electron. Notes Theor. Comput. Sci..

[20]  K. Rustan M. Leino,et al.  Object Invariants in Dynamic Contexts , 2004, ECOOP.

[21]  Katia P. Sycara,et al.  The RETSINA MAS Infrastructure , 2003, Autonomous Agents and Multi-Agent Systems.

[22]  Carlos José Pereira de Lucena,et al.  From a Conceptual Framework for Agents and Objects to a Multi-Agent System Modeling Language , 2004, Autonomous Agents and Multi-Agent Systems.

[23]  Philip A. Bernstein,et al.  Applying Model Management to Classical Meta Data Problems , 2003, CIDR.

[24]  Bernhard Bauer,et al.  Extending UML for agents , 2000 .

[25]  Claude Kirchner,et al.  Formal Islands , 2006, AMAST.

[26]  Ralf Behrens,et al.  A Grammar Based Model for XML Schema Integration , 2000, BNCOD.

[27]  Martin Fowler,et al.  Refactoring - Improving the Design of Existing Code , 1999, Addison Wesley object technology series.

[28]  Lennart Augustsson,et al.  Compiling Pattern Matching , 1985, FPCA.

[29]  Joshua Kerievsky,et al.  Refactoring to Patterns , 2004, XP/Agile Universe.

[30]  Anneke Kleppe,et al.  MDA explained - the Model Driven Architecture: practice and promise , 2003, Addison Wesley object technology series.

[31]  Hartmut Ehrig,et al.  Fundamentals of Algebraic Graph Transformation , 2006, Monographs in Theoretical Computer Science. An EATCS Series.

[32]  David Chenho Kung,et al.  Formal approach to scenario analysis , 1994, IEEE Software.

[33]  Tom Mens,et al.  A survey of software refactoring , 2004, IEEE Transactions on Software Engineering.

[34]  Lidia Fuentes,et al.  Bridging the Gap Between Agent-Oriented Design and Implementation Using MDA , 2004, AOSE.

[35]  Yijun Yu,et al.  From goals to aspects: discovering aspects from requirements goal models , 2004, Proceedings. 12th IEEE International Requirements Engineering Conference, 2004..

[36]  I. V. Ramakrishnan,et al.  Adaptive Pattern Matching , 1992, SIAM J. Comput..

[37]  Gustavo Rossi,et al.  Enhancing a requirements baseline with scenarios , 1997, Requirements Engineering.

[38]  Simon Peyton Jones,et al.  The Implementation of Functional Programming Languages (Prentice-hall International Series in Computer Science) , 1987 .

[39]  Robert C. Martin.  Agile Software Development, Principles, Patterns, and Practices , 2002 .

[40]  Luca Cardelli,et al.  Compiling a functional language , 1984, LFP '84.

[41]  Matjaz B. Juric,et al.  Business process execution language for web services , 2004 .

[42]  Jean-Marc Jézéquel,et al.  Refactoring UML Models , 2001, UML.

[43]  Luc Maranget,et al.  Optimizing pattern matching , 2001, ICFP '01.

[44]  Christian Bauer,et al.  Hibernate in action , 2005 .

[45]  Julio Cesar Sampaio do Prado Leite,et al.  A Framework for Integrating Non-Functional Requirements into Conceptual Models , 2001, Requirements Engineering.

[46]  Pullbacks in Regular Categories , 1973, Canadian Mathematical Bulletin.

[47]  Luciano Baresi,et al.  Tutorial Introduction to Graph Transformation: A Software Engineering Perspective , 2002, ICGT.

[48]  Yijun Yu,et al.  Quality-Based Software Reuse , 2005, CAiSE.

[49]  William N. Robinson,et al.  Requirements interaction management , 2003, CSUR.

[50]  M. Jarke,et al.  A proposal for a scenario classification framework , 1998, Requirements Engineering.

[51]  Tom Mens,et al.  Formalizing refactorings with graph transformations , 2005, J. Softw. Maintenance Res. Pract..

[52]  Udo Kelter,et al.  Differences between versions of UML diagrams , 2003, ESEC/FSE-11.

[53]  Kent L. Beck,et al.  Test-driven Development - by example , 2002, The Addison-Wesley signature series.

[54]  Rainer Koschke,et al.  Towards a standard schema for C/C++ , 2001, Proceedings Eighth Working Conference on Reverse Engineering.

[55]  Tom Mens,et al.  A Taxonomy of Model Transformation , 2006, GRaMoT@GPCE.

[56]  Mark Lillibridge,et al.  Extended static checking for Java , 2002, PLDI '02.

[57]  Roberto Erick Lopez-Herrejon,et al.  Generating product-lines of product-families , 2002, Proceedings 17th IEEE International Conference on Automated Software Engineering,.

[58]  Marc-Philippe Huget.  Agent UML Class Diagrams Revisited , 2002, Agent Technologies, Infrastructures, Tools, and Applications for E-Services.

[59]  Rudolf Ferenc,et al.  Columbus schema for C/C++ preprocessing , 2004, Eighth European Conference on Software Maintenance and Reengineering, 2004. CSMR 2004. Proceedings..

[60]  Yijun Yu,et al.  From Stakeholder Goals to High-Variability Software Design , 2005 .

[61]  Ivar Jacobson,et al.  The Unified Modeling Language User Guide , 1998, J. Database Manag..

[62]  Olly Gotel,et al.  An analysis of the requirements traceability problem , 1994, Proceedings of IEEE International Conference on Requirements Engineering.

[63]  Tom Mens,et al.  A State-of-the-Art Survey on Software Merging , 2002, IEEE Trans. Software Eng..

[64]  Meir M. Lehman,et al.  Laws of Software Evolution Revisited , 1996, EWSPT.

[65]  Don Batory,et al.  Achieving Reuse With Software System Generators , 1994 .

[66]  Scott A. DeLoach,et al.  Multiagent Systems Engineering: A Methodology and Language for Designing Agent Systems , 1999 .

[67]  Stuart Kent,et al.  Model Driven Engineering , 2002, IFM.

[68]  Gustavo Alonso,et al.  WISE: business to business e-commerce , 1999, Proceedings Ninth International Workshop on Research Issues on Data Engineering: Information Technology for Virtual Enterprises. RIDE-VE'99.

[69]  Eugene Miya,et al.  On "Software engineering" , 1985, SOEN.

[70]  Augusto Sampaio,et al.  Algebraic reasoning for object-oriented programming , 2004, Sci. Comput. Program..

[71]  Miguel A. Laguna,et al.  Requirements Variability Support Through MDATM and Graph Transformation , 2006, Electron. Notes Theor. Comput. Sci..

[72]  Anneke Kleppe,et al.  The Object Constraint Language: Getting Your Models Ready for MDA , 2003 .

[73]  Michel Bauderon,et al.  Pullback as a Generic Graph Rewriting Mechanism , 2001, Appl. Categorical Struct..

[74]  James M. Neighbors,et al.  The Draco Approach to Constructing Software from Reusable Components , 1984, IEEE Transactions on Software Engineering.

[75]  Scott A. DeLoach,et al.  Analysis and Design using MaSE and agentTool , 2001 .

[76]  Franco Zambonelli,et al.  From design to intention: signs of a revolution , 2002, AAMAS '02.

[77]  M. Bouzeghoub,et al.  Object Technology , 1997 .

[78]  Ira D. Baxter,et al.  Transformational maintenance by reuse of design histories , 1991 .

[79]  Olaf Zimmermann,et al.  The Operational Perspective , 2003 .

[80]  Thomas Baar,et al.  Refactoring OCL annotated UML class diagrams , 2005, MoDELS'05.

[81]  WagnerGerd.  The agent-object-relationship metamodel , 2003 .

[82]  Albert Gräf,et al.  Left-to-Right Tree Pattern Matching , 1991, RTA.

[83]  Carlos José Pereira de Lucena,et al.  Using the MAS-ML to Model a Multi-agent System , 2003, SELMAS.

[84]  Artur Boronat,et al.  Formal Model Merging Applied to Class Diagram Integration , 2006, EVOL.

[85]  Mark S. Fox,et al.  Agent-Oriented Supply-Chain Management , 2000 .

[86]  Philip A. Bernstein,et al.  A vision for management of complex models , 2000, SGMD.

[87]  Louise Fischer,et al.  This is not Art , 2004 .

[88]  Ivan Porres,et al.  Model Refactorings as Rule-Based Update Transformations , 2003, UML.

[89]  Scott J. Ambler,et al.  Refactoring Databases: Evolutionary Database Design , 2006 .

[90]  Julio Cesar Sampaio do Prado Leite.  Viewpoints on viewpoints , 1996, ISAW '96.

[91]  Anthony Kosky,et al.  Theoretical Aspects of Schema Merging , 1992, EDBT.

[92]  Christophe Ringeissen,et al.  A Pattern Matching Compiler for Multiple Target Languages , 2003, CC.

[93]  Ivan Porres,et al.  Difference and Union of Models , 2003, UML.

[94]  Frédéric Jouault,et al.  On the architectural alignment of ATL and QVT , 2006, SAC '06.

[95]  Robert B. France,et al.  Model Composition Directives , 2004, UML.

[96]  Frédéric Jouault,et al.  Model Transformation and Weaving in the AMMA Platform , 2005 .

[97]  Martin Gogolla.  Graph Transformations on the UML Metamodel , 2000, ICALP Satellite Workshops.

[98]  Julio Cesar Sampaio do Prado Leite,et al.  Lexicon Based Ontology Construction , 2003, SELMAS.

[99]  Michael Havey,et al.  Essential business process modeling , 2005 .

[100]  Fausto Giunchiglia,et al.  Tropos: An Agent-Oriented Software Development Methodology , 2004, Autonomous Agents and Multi-Agent Systems.

[101]  William G. Griswold,et al.  Dynamically discovering likely program invariants to support program evolution , 1999, Proceedings of the 1999 International Conference on Software Engineering (IEEE Cat. No.99CB37002).