Titre :	Utilisation de la Méthode B dans la Spécification Formelle des Systèmes
Type de document :	texte imprimé
Auteurs :	Chahira Boutefnouche, Auteur ; Amel Daas, Auteur ; Ilham Kitouni, Directeur de thèse
Editeur :	CONSTANTINE [ALGERIE] : Université Frères Mentouri Constantine
Année de publication :	2011
Importance :	98 f.
Format :	30 cm.
Note générale :	Une copie electronique PDF disponible au BUC.
Langues :	Français (fre)
Catégories :	Informatique
Tags :	Validation des systèmes, Méthode B, Raffinement, LOTOS, Transformation.
Index. décimale :	004 Traitement de données. Informatique
Résumé :	Dans ce mémoire on va présenter la méthode B et ses constructeurs de base tel que la machine abstraite, le raffinement et l’implémentation. On va rappeler le langage LOTOS ensuite nous proposons une transformation du langage LOTOS vers la méthode B et discutons l’avantage d’un tel passage. Enfin nous présentons l’outil opérationnele de cette méthode appelé l’atelier B.
Diplome :	Master 2
Permalink :	https://bu.umc.edu.dz/master/index.php?lvl=notice_display&id=7582

Utilisation de la Méthode B dans la Spécification Formelle des Systèmes [texte imprimé] / Chahira Boutefnouche, Auteur ; Amel Daas, Auteur ; Ilham Kitouni, Directeur de thèse . - CONSTANTINE [ALGERIE] : Université Frères Mentouri Constantine, 2011 . - 98 f. ; 30 cm.
Une copie electronique PDF disponible au BUC.
Langues : Français (fre)

Catégories :	Informatique
Tags :	Validation des systèmes, Méthode B, Raffinement, LOTOS, Transformation.
Index. décimale :	004 Traitement de données. Informatique
Résumé :	Dans ce mémoire on va présenter la méthode B et ses constructeurs de base tel que la machine abstraite, le raffinement et l’implémentation. On va rappeler le langage LOTOS ensuite nous proposons une transformation du langage LOTOS vers la méthode B et discutons l’avantage d’un tel passage. Enfin nous présentons l’outil opérationnele de cette méthode appelé l’atelier B.
Diplome :	Master 2
Permalink :	https://bu.umc.edu.dz/master/index.php?lvl=notice_display&id=7582