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