« Langage B » : différence entre les versions
Contenu supprimé Contenu ajouté
m wikif |
wikification |
||
Ligne 1 :
{{Leçon du jour
| idfaculté = informatique
| département = Programmation informatique
| niveau = 14
| autres projets = oui
| w = B (langage)
}}
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 preuves sur le modèle ainsi défini.
| |||