« Langage B » : différence entre les versions
Contenu supprimé Contenu ajouté
m Robot : Remplacement de texte automatisé (-\b(p|P|antip|Antip)arr?all?[eéè]ll?e(s?|ment?)\b +\1arallèle\2) |
wikification |
||
Ligne 1 :
{{à wikifier}}
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.
| |||