Différences entre les versions de « Langage B »

169 octets ajoutés ,  il y a 6 ans
wikification
m (wikif)
(wikification)
{{Leçon du jour
{{à wikifier}}
| 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.