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