ملخص: La répartition et le partage du travail d'une communauté d'utilisateurs d'un système informatique sont obtenus en couplant des systèmes ralativement autonomes autour de reéseaux. On obtient ainsi des architectures faiblement couppées ou systèmes distribués. Notre travail porte sur la vérificationb de tels système informatique.Une technique consiste à comparer une entité opérationnelle, dont l'évolution estr observable, avec unr entité de référence qui sert d'oracle sur le comportement attendu.

لغة: فرنسية
الوصف المادي: 127 p. ill. ;30 cm
الشهادة: Magister
مؤسسة مناقشة الرسالة: Alger, Centre de Développement des Technologie Avancées
تخصص: Architecture des Systèmes
الفهرس العشري 004.368 2 .هندسة النظم الحاسوبية الموزعة
الموضوع الإعلام الآلي

الكلمات الدالة:
Pétri, réseaux de
Systèmes répartis (informatique)

ملاحظة: Annexe pp.[128-153]; Bibliogr.pp.[154-160]