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