« Méthode B » : différence entre les versions

Contenu supprimé Contenu ajouté
Bayo (discussion | contributions)
Aucun résumé des modifications
B événementiel est une extension
Ligne 5 :
*[[Programmation méthode B/Bases de la spécification|Bases de la spécification]]
**[[Programmation méthode B/B classique|B « classique »]]
**[[Programmation méthode B/B événementiel|B « événementiel »]]
**[[Programmation méthode B/Première machine abstraite|Première machine abstraite]]
**[[Programmation méthode B/Spécification algébrique|Spécification algébrique]]
**[[Programmation méthode B/Concept de précondition|Concept de précondition]]
**[[Programmation méthode B/Notation textuelle|Notation textuelle]]
**[[Programmation méthode B/Extension B événementiel|B « événementiel »]]
*[[Programmation méthode B/Différence avec Z|Différence avec Z]]
*[[Programmation méthode B/Bibliographie et référence|Bibliographie et référence]]