Core Final Adopted Specification Available from: http://www.omg.org/cgi-bin, pp.3-10, 2004. ,
Generating Instance Models from Meta Models. in FMOODS'06 (Formal Methods for Open Object-Based Distributed Systems), 2006. ,
DOI : 10.1007/s10270-008-0095-y
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.527.7171
On Combining Multi-formalism Knowledge to Select Models for Model Transformation Testing, 2008 International Conference on Software Testing, Verification, and Validation, 2008. ,
DOI : 10.1109/ICST.2008.62
URL : https://hal.archives-ouvertes.fr/inria-00456955
DSMDiff: a differentiation tool for domain-specific models, Special Issue on Model-Driven Systems Development, 2007. ,
DOI : 10.1109/MS.2003.1231150
URL : https://hal.archives-ouvertes.fr/hal-00483464
Towards Model- Driven Testing, Electronic Notes in Theoretical Computer Science, issue.6, p.82, 2003. ,
Difference and Union of Models. in UML'03 (Unified Modeling Language), 2003. ,
Design by Contract to Improve Software Vigilance, IEEE Transactions on Software Engineering, vol.32, issue.8, p.32, 2006. ,
DOI : 10.1109/TSE.2006.79
URL : https://hal.archives-ouvertes.fr/inria-00542784
Investigating the Use of Analysis Contracts to Improve the Testability of Object Oriented Code. Software Practice and Experience, p.33, 2003. ,
Reusable MDA Components: A Testing-for-Trust Approach. in MoDELS'06, 2006. ,
URL : https://hal.archives-ouvertes.fr/hal-00461274
AToM3: A Tool for Multi-formalism and Meta-modelling, FASE '02 (International Conference on Fundamental Approaches to Software Engineering), 2002. ,
Model comparison, Proceedings of the 2006 international workshop on Global integrated model management , GaMMa '06, 2006. ,
DOI : 10.1145/1138304.1138308
URL : https://hal.archives-ouvertes.fr/hal-00499395
Validation of Model Transformations ??? First Experiences Using a White Box Approach, 2006. ,
DOI : 10.1007/978-3-540-69489-2_24
Matching Model-Snippets. in MoDELS'07, 2007. ,
DOI : 10.1007/978-3-540-75209-7_9
URL : https://hal.archives-ouvertes.fr/inria-00477558
On Executable Meta-Languages applied to Model Transformations. in Model Transformation in Practice Workshop, part of MoDELS'05, 2005. ,
URL : https://hal.archives-ouvertes.fr/inria-00000381
Practical Declarative Model Transformation With Tefkat, in Model Transformation in Practice Workshop, part of MoDELS'05, 2005. ,