Generic and Meta-transformations for Model Transformation Engineering, pp.290-304, 2004. ,
DOI : 10.1007/978-3-540-30187-5_21
Templatable Metamodels for Semantic Variation Points, 2007. ,
DOI : 10.1007/978-3-540-72901-3_6
Approaches for model transformation reuse: Factorization and composition, In: ICMT, 2008. ,
Generic Meta-modelling with Concepts, Templates and Mixin Layers, In: MODELS: Part I. MODELS, 2010. ,
DOI : 10.1007/978-3-642-16145-2_2
On Model Subtyping, In: ECMFA. Number LNCS, vol.7349, pp.400-415, 2012. ,
DOI : 10.1007/978-3-642-31491-9_30
URL : https://hal.archives-ouvertes.fr/hal-00726399
Applying 'design by contract', Computer, vol.25, issue.10, pp.40-51, 1992. ,
DOI : 10.1109/2.161279
Family Polymorphism, Object Oriented Programming, pp.303-326, 2001. ,
DOI : 10.1007/3-540-45337-7_17
PolyTOIL, ACM Transactions on Programming Languages and Systems, vol.25, issue.2, 2003. ,
DOI : 10.1145/641888.641891
A behavioral notion of subtyping, ACM Transactions on Programming Languages and Systems, vol.16, issue.6, pp.1811-1841, 1994. ,
DOI : 10.1145/197320.197383
Alloy: a lightweight object modelling notation, ACM Transactions on Software Engineering and Methodology, vol.11, issue.2, pp.256-290, 2002. ,
DOI : 10.1145/505145.505149
Rigorous Analysis of UML Access Control Policy Models, 2011 IEEE International Symposium on Policies for Distributed Systems and Networks, pp.9-16, 2011. ,
DOI : 10.1109/POLICY.2011.30
On challenges of model transformation from UML to Alloy, Software & Systems Modeling, vol.45, issue.15, pp.69-86, 2010. ,
DOI : 10.1007/s10270-008-0110-3
EMF: Eclipse Modeling Framework, 2008. ,
Weaving executability into object-oriented metalanguages, Model Driven Engineering Languages and Systems, pp.264-278, 2005. ,
URL : https://hal.archives-ouvertes.fr/hal-00795095
Design By Contract. The Eiffel Method, Proceedings. Technology of Object-Oriented Languages. TOOLS 26 (Cat. No.98EX176), pp.446-446, 1998. ,
DOI : 10.1109/TOOLS.1998.711043
On model compatibility with referees and contexts. Software & Systems Modeling, pp.1-14, 2012. ,
UniTI: A Unified Transformation Infrastructure, Model Driven Engineering Languages and Systems, pp.31-45, 2007. ,
DOI : 10.1007/978-3-540-75209-7_3
Using Feature Model to Build Model Transformation Chains, Model Driven Engineering Languages and Systems, pp.562-578, 2012. ,
DOI : 10.1007/978-3-642-33666-9_36
URL : https://hal.archives-ouvertes.fr/hal-00838532
Realizing model transformation chain interoperability. Software and Systems Modeling, pp.1-21, 2012. ,