5. Avantages actuels de la méthode B vis-à-vis d'autres méthodes
La méthode B, qui n'est pas la seule méthode formelle, ni probablement la plus efficace sur l'ensemble des aspects rencontrés dans les projets, présente des avantages certains sur de nombreux points. On dispose d'abord d'une méthode unique pour spécifier, concevoir et prouver. Il n'est donc pas nécessaire de modéliser la spécification du logiciel pour la prouver, une telle modélisation pouvant conduire à des contradictions liées soit à l'interprétation qui en a été faite, soit aux limites et aux contraintes du modèle lui-même. L'efficacité s'est révélée grande pour des logiciels pas spécialement simples, et cette efficacité a tendance à s'améliorer à mesure que l'on conçoit d'autres systèmes compte tenu de l'expérience acquise. Cette expérience peut porter sur les architectures et l'organisation des modules, l'accumulation de nouveaux théorèmes plus performants augmentant le pourcentage...
Cet article est réservé aux abonnés. Il vous reste 92 % à découvrir.
Déjà abonné ? Se connecter
Avantages actuels de la méthode B vis-à-vis d'autres méthodes
Limites de B
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.
