# | Année | Titre | Revue | Lien éditeur / doi | Notice HAL |
---|---|---|---|---|---|
1 | 2015 | Adaptation d'exécution de Modèles Par Contrats | Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques | 10.3166/tsi.34.703-730 | hal-01906772 |
2 | 2015 | Software Adaptation: Classification and a Case Study with State Chart XML | IEEE Software | 10.1109/MS.2014.130 | hal-01906773 |
3 | 2009 | OCL Contracts for the Verification of Model Transformations | Electronic Communications of the EASST | hal-01906776 | |
4 | 2008 | Ingénierie des modèles : panorama et tendances | Génie Logiciel GL & IS | hal-00384399 |