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