Towards a model driven approach to upgrade complex software systems, Proceedings of ENASE 2009 (4th international conference on Evaluation of Novel Aspects to Software Engineering), 2009. ,
Dependency management for the eclipse ecosystem, Proceedings of IWOCE2009 (International workshop on Open Component Ecosystems), 2009. ,
URL : https://hal.archives-ouvertes.fr/hal-00870855
The Eclipse 3.0 platform: Adopting OSGi technology, IBM Systems Journal, vol.44, issue.2, 2005. ,
DOI : 10.1147/sj.442.0289
Albert: Model Search: Formalizing and Automating Constraint Solving in MDE Platforms, 6th European conference on Modelling Foundations and Applications), pp.173-188, 2010. ,
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
Principle of Constraint Programming, 2003. ,
DOI : 10.1017/CBO9780511615320
The HOL-OCL book, 2006. ,
UMLtoCSP, Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering , ASE '07, pp.547-548 ,
DOI : 10.1145/1321631.1321737
Using description logic to maintain consistency between. UML models, Proc. of UML'03., volume 2863 of LNCS, pp.326-340, 2003. ,
UML2Alloy: A Challenging Model Transformation, ACM/IEEE 10th International Conference on Model Driven Engineering Languages and Systems, pp.436-450, 2007. ,
DOI : 10.1007/978-3-540-75209-7_30