ملخص: Ce mémoire est structuré suivant trois chapitres: Dans le premier chapitre nous allons introduire les approches classiques du développement logiciel, ensuite nous présenterons l’approche de développement logiciel à base de composants et les notions qui lui sont reliées tel la notion de réutilisation, composant logiciel,…etc, Le deuxième est destiné à la présentation des ECATNets et la logique de réécriture. Nous commençons par un bref survol sur les RdPs, puis nous introduisons la logique de réécriture et son langage Maude comme étant un Framework qui intègre les ECATNets, Le dernier chapitre est consacré à la présentation de notre approche pour la modélisation des logiciels à base de composants.

Batna:
لغة: فرنسية
الوصف المادي: 110 p. ill. ;30 cm
الشهادة: Magister
مؤسسة مناقشة الرسالة: Batna, Université du Hadj Lakhdar. Faculté des Sciences de l'Ingénieur
تخصص: Informatique
الفهرس العشري 004.65 .هندسة شبكات الاتصالات (تحليل النظم ، التصميم ، التكوين ، طوبولوجيا الشبكات البعيدة شبكات الكمبيوتر)
الموضوع الإعلام الآلي

الكلمات الدالة:
Composants logiciels
Développeurs de logiciels
Pétri, réseaux de
Langages de programmation : Sémantique

ملاحظة: Bibliogr.pp.105-110