Faiza Belala
Mots clés
FR |
EN
Méthodes formelles
Logique de réécriture
Architecture logicielle
Systèmes de systèmes
Langage de description architecturale
Systèmes Réactifs Bigraphiquesd'architecture
Architecture
Fog computing
Informatique géodistribuée
Services Web
Architecture Orientée Services
Composition dynamique de services
Sélection de services
Transformation de modèles
Cadre sémantique K
SOA
Modèles mathématiques
Web sémantique
Cloud Computing
Systèmes auto-adaptatifs