Spécification Des Systèmes À L’aide De Méthode Formelle B
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.
Mots-clès:
Nos services universitaires et académiques
Thèses-Algérie vous propose ses divers services d’édition: mise en page, révision, correction, traduction, analyse du plagiat, ainsi que la réalisation des supports graphiques et de présentation (Slideshows).
Obtenez dès à présent et en toute facilité votre devis gratuit et une estimation de la durée de réalisation et bénéficiez d'une qualité de travail irréprochable et d'un temps de livraison imbattable!
Aucun fichier associé
Si le fichier est volumineux, l'affichage peut échouer. Vous pouvez obtenir le fichier directement en cliquant sur le bouton "Télécharger".
