Une contribution à la suppression des anomalies dans les protocoles de communication

par Gagnon Gbédé Viho

Thèse de doctorat en Informat.

Sous la direction de Richard Castanet.

Soutenue en 1991

à Bordeaux 1 .

    mots clés mots clés


  • Pas de résumé disponible.


  • Pas de résumé disponible.


  • Résumé

    Actuellement, plusieurs methodes et outils permettent de specifier les protocoles de communication et d'y detecter les anomalies. Cependant, peu de methodes sont developpees pour supprimer ces anomalies. Dans cette these, nous proposons: 1) une methode de synthese qui guide la specification et evite l'occurrence des receptions non specifiees et des transitions non executables; 2) deux methodes qui interviennent apres detection des anomalies et proposent des solutions pour supprimer les receptions non specifiees, les deadlocks et les boucles bloquantes. Les outils developpes mettant en uvre ces methodes sont egalement presentes

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : [202] p

Où se trouve cette thèse ?

  • Bibliothèque : Université de Bordeaux. Direction de la Documentation. Bibliothèque Sciences et Techniques.
  • Accessible pour le PEB
  • Bibliothèque : Université de Bordeaux. Direction de la Documentation. Bibliothèque Sciences et Techniques.
  • Disponible pour le PEB
  • Cote : FT 91.B-666
  • Bibliothèque : Université de Bordeaux. Direction de la Documentation. Bibliothèque Sciences et Techniques.
  • Non disponible pour le PEB
  • Cote : FTR 91.B-666
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.