Mots-clés

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

 

 

 

 

 

Nombre de documents en texte ingéral

404

 

Nombre de références

491

Dépôts cumulés

Dépôts par type de document