Résumé: 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:
Langue: Français
Collation: 110 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
Index décimal 004.65 .Architecture des réseaux de communication (analyse des systèmes, conception, configuration, topologie des réseaux télématiques ; réseaux informatiques)
Thème Informatique

Mots clés:
Composants logiciels
Développeurs de logiciels
Pétri, réseaux de
Langages de programmation : Sémantique

Note: Bibliogr.pp.105-110