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