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