Personne n'a parlé du B ?:(
Bon ok ce n’est pas vraiment un langage, plus une méthode formelle (d'où le nom méthode B), mais s'appuyant quand même sur un langage particulier (le B...)
Extrêmement puissant, permet de modéliser de façon abstraite et formelle le comportement du programme.
Et en utilisant des principes de raffinement et d'implantation concrète (du modèle abstrait), et on réalise des preuves de programme
Chaque raffinement permet d'obtenir un nouveau modèle abstrait, et par itération on obtient enfin un modèle concret, codable en C ou en ADA.
Utilisée lors de la conception de