K. B. Bruce and J. Vanderwaart, Semantics-Driven Language Design:, Electronic Notes in Theoretical Computer Science, vol.20, pp.50-75, 1999.
DOI : 10.1016/S1571-0661(04)80066-5

URL : http://doi.org/10.1016/s1571-0661(04)80066-5

E. Bruneton, R. Lenglet, and T. Coupaye, Asm: A code manipulation tool to implement adaptable systems, Adaptable and extensible component systems, 2002.

C. Clifton and G. T. Leavens, Multijava: Modular open classes and symmetric multiple dispatch for java, OOPSLA 2000 Conference on Object-Oriented Programming, Systems, Languages, and Applications, pp.130-145, 2000.

S. Demathieu, F. Thomas, C. André, S. Gérard, and F. Terrier, First Experiments Using the UML Profile for MARTE, 2008 11th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC), pp.50-57, 2008.
DOI : 10.1109/ISORC.2008.36

F. Fleurey, B. Baudry, R. France, and S. Ghosh, A Generic Approach for Automatic Model Composition, Aspect Oriented Modeling (AOM) Workshop, 2007.
DOI : 10.1007/978-3-540-69073-3_2

URL : https://hal.archives-ouvertes.fr/inria-00477568

E. Gamma, R. Helm, R. Johnson, and J. Vlissides, Design patterns: elements of reusable object-oriented software, 1995.

J. Jézéquel, Object-oriented software engineering with Eiffel, 1996.

. Kermeta, The kermeta project home page

G. Kiczales, E. Hilsdale, J. Hugunin, M. Kersten, J. Palm et al., An Overview of AspectJ, pp.327-353, 2001.
DOI : 10.1007/3-540-45337-7_18

R. Laddad, AspectJ in Action: Practical Aspect-Oriented Programming, 2003.

B. Meyer, Eiffel: the language, 1992.

]. B. Meyer, Applying 'design by contract', Computer, vol.25, issue.10, pp.40-51, 1992.
DOI : 10.1109/2.161279

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

N. Moha, V. Mah, O. Barais, and J. Jézéquel, Generic Model Refactorings, ACM/IEEE 12th International Conference on Model Driven Engineering Languages and Systems (MODELS'09), 2009.
DOI : 10.1007/s10270-006-0036-6

URL : https://hal.archives-ouvertes.fr/inria-00468657

P. Muller, F. Fleurey, and J. Jézéquel, Weaving Executability into Object-Oriented Meta-languages, MODEL- S/UML, pp.264-278, 2005.
DOI : 10.1007/11557432_19

URL : https://hal.archives-ouvertes.fr/hal-00795095

M. Odersky, L. Spoon, and B. Venners, Programming in Scala: A Comprehensive Step-by-step Guide, Artima Inc, 2008.

O. M. Omg, UML 1.5 Object Constraint Language Specification, mars 2003, pp.3-03

J. Steel, Typage de modèles, 2007.

J. Steel and J. Jézéquel, 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