ملخص: Présentation des principaux problèmes de la validation, suivie de l'étude de la technique de validation d'implantation par observation continue du systeme sous texte. L'approche est présentée en deux parties. La première partie est consacrée a la classification des propriétés des systemes distribues, leur spécification en logique temporelle linéaire sur des traces d'exécutions finies et leur compilation en automates accepteurs. Dans la deuxième partie, le problème pose par l'observation d'un ordre partiel des événements dans un contexte distribue est étudie. Des algorithmes de construction et de vérification des observations pour une validation centralisée ou distribuée sont proposes.

طبعة: Rennes: Université de Rennes 1
لغة: فرنسية
الوصف المادي: 131 p. ill. ;30 cm
الشهادة: Doctorat
مؤسسة مناقشة الرسالة: Université de Rennes 1

ملاحظة: Bibliogr.pp.123-131