ملخص: Dans le cadre de la conception des protocoles de communication, un modèle formel est appelé à atteindre une bonne spécification des protocoles; il s'agit de la synthèse des protocoles. La spécification formelle des protocoles est utilisée par la suite pour examiner le bon fonctionnement et la performance des protocoles avant leur implémentation. Ce projet a pour but la dérivation des spécifications des protocoles à partir des spécifications des services en optimisant les spécifications obtenues. De plus, nous proposons un algorithme pour la dérivation des spécifications des protocoles à partir des spécifications des services pour les applications temps réel. En d'autres termes, c'est le développement de l'algorithme de dérivation des spécifications des protocoles en supportant les systèmes qui exigent des contraintes temporelles.

Biskra:
لغة: فرنسية
الوصف المادي: 70 p. ill. ;30 cm.
الشهادة: Magister
مؤسسة مناقشة الرسالة: Biskra, Université Mohamed Khider. Faculté des Sciences et Sciences de l'Ingenieur
تخصص: Informatique
الفهرس العشري 621 .الفيزياء التطبيقية (الهندسة الكهربائية ، الهندسة المدنية ، الهندسة الميكانيكية ، الهندسة التطبيقية ، المبادئ الفيزيائية في الهندسة)
الموضوع الإعلام الآلي

الكلمات الدالة:
Architecture des réseaux d'ordinateurs
Protocoles (informatique)

ملاحظة: Bibliogr. pp.[1-2]