Mahmoud Boufaida
Mots clés
FR |
EN
Méthodes formelles
Intégration d'applications
Processus métier
Protocole d'interaction,
Réseaux de Petri
Vérification et validation
Trace modélisée
Calcul des Indicateurs
Transformation de trace
Apprentissage
Indicateurs de l'enseignement
Ingénierie dirigée par les modèles
Moodle (logiciel)
Fragmentation
Allocation
Réplication
Equilibrage de charge
Modèle de coût analytique
Entrepôts de données
Bases de données -- Conception