« Langage B » : différence entre les versions

Contenu supprimé Contenu ajouté
Page créée avec « 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. ... »
(Aucune différence)

Version du 28 juin 2010 à 15:02

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 bénéfici d'un prouveur. Il est donc possible d'énoncer des proriété invariante sur l'ensemble du système quel que soit son état.

=Utilisation du langage B.

Le B à été utilisé pour divers projet d'envergure tel que la ligne 14 du métro parisien. Grace au travaux effectué par Ericson sur ce projet le langage à pu progresser, ainsi que le prouveur.