« Langage B » : différence entre les versions
Contenu supprimé Contenu ajouté
Aucun résumé des modifications |
m Robot : Changement de type cosmétique |
||
Ligne 4 :
== 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.
== Objectif de ce cours ==
Le but de ce cours est de permettre de comprendre la syntaxe et les particularités du langage B.
== Vocabulaire ==
Une Machine : Un modèle de système écrit en B
== Première machine ==
La première machine que nous allons voir permet de décrire un programme qui permute la valeur de deux variable.
<code language=B>
Ligne 52 :
{{Autres projets|w=Méthode B|b=Programmation méthode B}}
[[Catégorie:Programmation informatique]]
| |||