« Langage B » : différence entre les versions
Contenu supprimé Contenu ajouté
m orthographe |
|||
Ligne 2 :
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
La
== Utilisation du langage B ==
Le B
== Objectif de ce cours ==
Ligne 16 :
== Première machine ==
La première machine que nous allons voir permet de décrire un programme qui permute la valeur de deux
<source lang=C>
MACHINE
Ligne 35 :
END
</source>
Comme vous pouvez le voir les machines sont
Un Type se déclare donc de la manière suivante:
<code language=B>nomDeVariable : TypeDeLaVariable</code>
Dans notre cas il s'agit de variable de type NAT, pour naturel.
l'opérateur & permet de chainer les
Ensuite vient l'initialisation du système.
Les variables sont définies par n'importe quelle valeur de type Naturel.
Ici pour chainer les
Et finalement nous en arrivons à la partie OPERATION. C'est dans cette section que sont définit les fonctions de notre machine.
Ligne 51 :
END</source>
Dans notre cas on
{{Autres projets|w=Méthode B|b=Programmation méthode B}}
|