Titre :	Spécification des systèmes à l’aide de méthode formelle B
Type de document :	document multimédia
Auteurs :	Zoubida Belli, Auteur ; Taher Bendouma, Directeur de thèse
Editeur :	Laghouat : Université Amar Telidji - Département d'informatique
Année de publication :	2012
Importance :	95 p.
Accompagnement :	1 disque optique numérique (CD-ROM)
Note générale :	Option : Réseaux,systèmes et applications réparties
Langues :	Français
Mots-clés :	Méthodes formelles  Méthode Event-B  Systèmes répartis  Algorithme élection d’un leader  Algorithme producteur /consommateur
Résumé :	Dans ce document nous avons discuté de l’utilisation des méthodes formelles pour les programmes et les protocoles concernant les systèmes répartis. Ces méthodes malgré qu’elle soient couteuse donnent sureté et fiabilité aux programmes et protocoles. Parmi ces méthodes, la méthode formelle B inventé par Jean-Raymond Abrial, donne des possibilités de spécifier, vérifier et valider les programmes et les protocoles pour les systèmes répartis. Dans notre travail nous présentons l’état de l’art des méthodes formelles en particulière la méthode B et l’appliquer sur des algorithmes classiques connus dans les systèmes répartis : Algorithme d’élection et l’algorithme de producteur/consommateur.
note de thèses :	Mémoire de master en informatique

Spécification des systèmes à l’aide de méthode formelle B [document multimédia] / Zoubida Belli, Auteur ; Taher Bendouma, Directeur de thèse . - Laghouat : Université Amar Telidji - Département d'informatique, 2012 . - 95 p. + 1 disque optique numérique (CD-ROM).
Option : Réseaux,systèmes et applications réparties
Langues : Français

Mots-clés :	Méthodes formelles  Méthode Event-B  Systèmes répartis  Algorithme élection d’un leader  Algorithme producteur /consommateur
Résumé :	Dans ce document nous avons discuté de l’utilisation des méthodes formelles pour les programmes et les protocoles concernant les systèmes répartis. Ces méthodes malgré qu’elle soient couteuse donnent sureté et fiabilité aux programmes et protocoles. Parmi ces méthodes, la méthode formelle B inventé par Jean-Raymond Abrial, donne des possibilités de spécifier, vérifier et valider les programmes et les protocoles pour les systèmes répartis. Dans notre travail nous présentons l’état de l’art des méthodes formelles en particulière la méthode B et l’appliquer sur des algorithmes classiques connus dans les systèmes répartis : Algorithme d’élection et l’algorithme de producteur/consommateur.
note de thèses :	Mémoire de master en informatique