3. Principes de la méthode B
Il y a seulement quelques décennies, l'unique formalisme utilisé dans un logiciel était celui du code, qui était obligatoire si l'on voulait que la machine comprenne ce qu'on lui demandait d'exécuter ! Pour donner une définition simple, la méthode B est une méthode pour spécifier, concevoir, coder et prouver des logiciels de manière rigoureuse et progressive.
3.1 Principes généraux de la méthode B
Cette méthode utilise un langage mathématique unique tout au long du processus de conception afin de permettre la vérification de chaque étape à l'aide de preuves mathématiques. La difficulté de la vérification de toutes les transformations qui font passer de la spécification initiale au code (voir B0) qui sera transformé dans un langage classique, se trouve par là...
Cet article est réservé aux abonnés. Il vous reste 92 % à découvrir.
Déjà abonné ? Se connecter
Principes de la méthode B
Méthode B et le processus de réalisation des logiciels
Sources bibliographiques
Cet article est réservé aux abonnés. Il vous reste 92 % à découvrir.
Déjà abonné ? Se connecter
Article inclus dans l'offre
"Sécurité et gestion des risques"
(
510 articles
)
Actualisée et enrichie d’articles validés par nos comités scientifiques.
Quiz, médias, tableaux, formules, vidéos, etc.
Opérationnels et didactiques, pour garantir l'acquisition des compétences transverses.
Un ensemble de services exclusifs en complément des ressources.
