UML2Alloy: A Challenging Model Transformation, MoDELS, pp.436-450, 2007. ,
DOI : 10.1007/978-3-540-75209-7_30
Antworld simulation case study modeled by emf transformation, Proceedings of the 4 th International Workshop on Graph- Based Tools, 2008. ,
Semanticsdriven language design: Statically type-safe virtual types in object-oriented languages, Electronic Notes in Theoretical Computer Science, vol.20, pp.50-75, 1999. ,
A GrGen.net solution of the AntWorld case for the GraBaTs, GraBaTs, 2008. ,
MultiJava: Modular open classes and symmetric multiple dispatch for java, Proceedings of the 15 th International Conference on Object- Oriented Programming, Systems, Languages, and Applications (OOPSLA), pp.130-145, 2000. ,
Refactoring: Improving the Design of Existing Code, 1999. ,
DOI : 10.1007/3-540-45672-4_31
University of paderborn ,
A case study for program refactoring, GraBaTs, 2008. ,
Software Abstractions: Logic, Language, and Analysis, 2006. ,
ATL: A model transformation tool, Science of Computer Programming, vol.72, issue.1-2, pp.31-39, 2008. ,
DOI : 10.1016/j.scico.2007.08.002
URL : https://hal.archives-ouvertes.fr/hal-00483363
Aspect-Oriented Programming, Proceedings of the 11 th European Conference on Object-Oriented Programming, pp.220-242, 1997. ,
The Epsilon Transformation Language, Proceedings of the 1 st International Conference on Theory and Practice of Model Transformations, pp.46-60, 2008. ,
DOI : 10.1007/978-3-540-69927-9_4
Zchaff2004: An Efficient SAT Solver, Lecture Notes in Computer Science SAT 2004 Special, pp.360-375, 2004. ,
DOI : 10.1007/11527695_27
Analysing refactoring dependencies using graph transformation, Software and Systems Modeling (SoSyM), pp.269-285, 2007. ,
DOI : 10.1007/s10270-006-0044-6
A survey of software refactoring, IEEE Transactions on Software Engineering, vol.30, issue.2, pp.126-139, 2004. ,
DOI : 10.1109/TSE.2004.1265817
Refactoring using JDT2MDR, GraBaTs, 2008. ,
Weaving Executability into Object-Oriented Meta-languages, MODELS/UML, pp.264-278, 2005. ,
DOI : 10.1007/11557432_19
URL : https://hal.archives-ouvertes.fr/hal-00795095
MiniSat a SAT solver with conflict-clause minimization, SAT, 2005. ,
0 Query/View/Transformation Specification . Specification Version 1.0, Object Management Group, 2008. ,
On combining mullti-formalism knowledge to select test models for model transformaion testing, IEEE International Conference on Software Testing, 2008. ,
Domain-Specific Model Editors with Model Completion, Proceedings of MPM Workshop associated to MoD- ELS'07, 2007. ,
DOI : 10.1007/978-3-540-69073-3_27
URL : https://hal.archives-ouvertes.fr/inria-00477554
On model typing, Software & Systems Modeling, vol.3, issue.5, pp.401-414, 2007. ,
DOI : 10.1007/s10270-006-0036-6
URL : https://hal.archives-ouvertes.fr/inria-00477547
Dynamic and Generic Manipulation of Models: From Introspection to Scripting, MoDELS, pp.395-409, 2006. ,
DOI : 10.1007/11880240_28
URL : https://hal.archives-ouvertes.fr/hal-00714428
Department of measurement and information systems, budapest university of technology and economics ,
Using PROGRES for graph-based program refactoring, GraBaTs, 2008. ,