An MDE-Based Approach for Solving Configuration Problems: An Application to the Eclipse Platform
暂无分享,去创建一个
Patrick Albert | Jordi Cabot | Scott Uk-Jin Lee | Marcos Didonet Del Fabro | Gabriel Barbier | Guillaume Doux
[1] Pascal Rapicault. Dependency Management for the Eclipse Ecosystem , 2009 .
[2] Patrick Albert,et al. Model Search: Formalizing and Automating Constraint Solving in MDE Platforms , 2010, ECMFA.
[3] Achim D. Brucker,et al. The HOL-OCL Book , 2006 .
[4] Jordi Cabot,et al. UMLtoCSP: a tool for the formal verification of UML/OCL models using constraint programming , 2007, ASE.
[5] Antonio Cicchetti,et al. Towards a Model Driven Approach to Upgrade Complex Software Systems , 2009, ENASE.
[6] Tom Mens,et al. Using Description Logic to Maintain Consistency between UML Models , 2003, UML.
[7] Ioannis Stamelos,et al. Investigating the Use of Object-Oriented Design Patterns in Open-Source Software: A Case Study , 2010, ENASE.
[8] Krzysztof R. Apt,et al. Principles of constraint programming , 2003 .
[9] Pascal Rapicault,et al. Dependency management for the eclipse ecosystem: eclipse p2, metadata and resolution , 2009, IWOCE '09.
[10] Antonio Cicchetti,et al. A Model Driven Approach to Upgrade Package-Based Software Systems , 2009, ENASE.
[11] Indrakshi Ray,et al. UML2Alloy: a challenging model transformation , 2007, MODELS'07.
[12] Daniel Jackson,et al. Alloy: a lightweight object modelling notation , 2002, TSEM.
[13] Jeff McAffer,et al. The Eclipse 3.0 platform: Adopting OSGi technology , 2005, IBM Syst. J..