Migration OCL Aspect interference analysis Model-driven engineering Theory Distributed systems Object-oriented programming AOP Reconfiguration Branch and bound Aspect-Oriented Programming Design patterns Service-Oriented Computing Aspect composition Java Distributed Computing Cloud Computing Software architecture Consolidation Program transformations Calibration Interval arithmetic Abstraction Controllers High performance Explications Configuration UML Model-Driven Engineering Security Interoperability CBSE Constraint Programming CP-based column generation Global constraints Combinatorial optimization Concurrency Contraintes Modular maintenance Artificial intelligence Autonomous systems Programming languages Aspect composition patterns ATL Aspect-oriented programming Framework Virtualization Architecture Components Fractal MDE Constraint propagation Concurrent Computing Optimization IaaS Dynamic Consolidation Programmation par contraintes Subtyping Model Transformation Constraint programming Visitor CTL Ordonnancement Compiler correctness Cluster Model checking Global optimization Constraints Algorithmes Adaptation Algorithms Reactivity Chemical Semantics Aspects Program transformation Languages Capacity Planning QoS Object-Oriented Programming Cloud computing Auto-scaling Composition Emulation SLA Distributed file systems ASPECT-ORIENTED PROGRAMMING Scheduling Programmation par aspects Cartography Quality-of-Service QoS Service Level Agreement SLA Linux Composite Explanations Design Elasticity Scalability Refactoring Analyse de mutations Virtualisation