ملخص: 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:
لغة: فرنسية
الوصف المادي: 124 p. ill. ;30 cm
الشهادة: Magister
مؤسسة مناقشة الرسالة: Batna, Université du Hadj Lakhdar. Faculté des Sciences de l'Ingénieur
تخصص: Informatique industrielle
الفهرس العشري 621 .الفيزياء التطبيقية (الهندسة الكهربائية ، الهندسة المدنية ، الهندسة الميكانيكية ، الهندسة التطبيقية ، المبادئ الفيزيائية في الهندسة)
الموضوع الإعلام الآلي

الكلمات الدالة:
UML (informatique)
Vérification de modèles (informatique)

ملاحظة: Bibliogr.pp.116-124