Boutheina Bannour
Mots clés
FR |
EN
Diagramme de séquence UML
Contraintes de temps
Transformation de modèles
Statistique -- Méthodes graphiques
Arbres (théorie des graphes)
SOA dirigée par les modèles (SoaML)
Consistances des modèles
Vérification de l’exécution
UML (informatique)
Ingénierie dirigée par les modèles
Logiciels -- Vérification
SOA
Systèmes distribués
Test à base de modèles
Systèmes de Transition Symbolique Temporisé avec des Entrées et Sorties
Génération de cas de test
Critères de couverture
Protocole MPL
Traitement réparti
Internet des objets