Utilisation de la Méthode B dans la Spécification Formelle des Systèmes / Chahira Boutefnouche 

Public ISBD 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

Réservation

Réserver ce document

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
MSINF110035	MSINF110035	Document électronique	Bibliothèque principale	Mémoires	Disponible

Documents numériques

texte integré Adobe Acrobat PDF

---

1 (1 - 1 / 1)