Résumé: La méthode proposé dans ce travail gain beaucoup de puissance de fait qu'elle repose sur des concepts formelles de la logique de réécriture et du langage Maude. Les modèles UML translatés aux Maude vont gagner ainsi une sémantique précise et non ambiguë. Ces modèles sont vérifiés aussi par un Model-checker puissant, permettant au concepteur de détecter les erreurs dans le modèle UML qu'il élabore.

Batna:
Langue: Français
Collation: 124 p. ill. ;30 cm
Diplôme: Magister
Etablissement de soutenance: Batna, Université du Hadj Lakhdar. Faculté des Sciences de l'Ingénieur
Spécialité: Informatique industrielle
Index décimal 621 .Physique appliquée (électrotechnique, génie civil, génie mécanique, ingénierie appliquée, principes physiques en ingénierie)
Thème Informatique

Mots clés:
UML (informatique)
Vérification de modèles (informatique)

Note: Bibliogr.pp.116-124