« Langage B » : différence entre les versions
Contenu supprimé Contenu ajouté
wikification |
mAucun résumé des modifications |
||
Ligne 3 :
Le langage B est issu de la Méthode B. Ce langage a été défini initialement par JR-Abrial. Il s'agit d'un langage formel qui permet d'exprimer des modèles conceptuels.
L'intérêt de ce langage est de permettre d'établir des preuve sur le modèle ainsi défini.
La platforme B
Ligne 40 :
Dans notre cas il s'agit de variable de type NAT, pour naturel.
l'opérateur & permet de chainer les propriété entre elles.
Ensuite vient
Les variables sont
Ici pour chainer les opération nous utilisons l'opérateur ||. Cet opérateur défini que deux opération sont exécuté en parallèle. En effet en B toute opération doit être effectué en parallèle.
Et finalement nous en arrivons à la partie OPERATION. C'est dans cette section que sont définit les
Une opération se déclare de la façon suivante:
<code>nomDeLOperation =
Ligne 51 :
END</code>
Dans notre cas on peux voir que les deux
{{Autres projets|w=Méthode B|b=Programmation méthode B}}
| |||