Conclusions sur la méthode B
La méthode B pour la spécification et la réalisation de logiciels et de systèmes critiques prouvés

Ajouter à la bibliothèque

SE2525 V1 Article de référence

Conclusions sur la méthode B
La méthode B pour la spécification et la réalisation de logiciels et de systèmes critiques prouvés

Auteur(s) : Jacques valancogne

Date de publication : 10 janvier 2012 | Read in english

Ajouter à la bibliothèque Ajouter à la bibliothèque

Logo Techniques de l'Ingenieur Cet article est réservé aux abonnés
Pour explorer cet article plus en profondeur Consulter un extrait gratuit

Déjà abonné ?

11. Conclusions sur la méthode B

La méthode B, qui est en constante évolution, a montré toute son efficacité sur un certain nombre de grands projets industriels. Elle a été utilisée complètement sur des projets critiques et partiellement sur d'autres. Elle a montré son efficacité, tant du point de vue de la qualité obtenue qu'au niveau des coûts qui se sont révélés moins élevés que l'on aurait pu le craindre au départ du fait que le produit fini est atteint plus rapidement. La limitation de B est liée principalement au passage de la spécification textuelle à la spécification formelle. Les évolutions de B au niveau système permettent de remonter toujours plus haut dans la spécification, et donc de travailler non au niveau de la spécification logicielle, mais de la spécification système. La méthodologie B représente certainement un investissement au départ, mais qui peut être largement récupéré par la suite. L'adaptation...

Cet article est réservé aux abonnés
Logo Techniques de l'Ingenieur

Cet article est réservé aux abonnés. Il vous reste 92 % à découvrir.

Cet article est réservé aux abonnés Consulter un extrait gratuit

Déjà abonné ?


Lecture en cours
Conclusions sur la méthode B

Article inclus dans l'offre

"Sécurité et gestion des risques"

( 510 articles )

Une base complète d’articles

Actualisée et enrichie d’articles validés par nos comités scientifiques.

Services

Quiz, médias, tableaux, formules, vidéos, etc.

Des modules pratiques

Opérationnels et didactiques, pour garantir l'acquisition des compétences transverses.

Des avantages inclus

Un ensemble de services exclusifs en complément des ressources.

Voir le détail de l'offre

Dans les ressources documentaires

Modélisation par bond graph - Éléments de base pour l’énergétique

De par l’interaction de plusieurs phénomènes de natures diverses (stockage, dissipation d’énergie…), et l...

Modélisation par bond graph - Application aux systèmes énergétiques

L’outil bond graph a la capacité de pouvoir décrire la complexité des systèmes énergétiques, en grande ma...

Validation des résultats des logiciels scientifiques - Approche stochastique

La méthode CESTAC (Contrôle et estimation stochastique des arrondis de calculs) consiste à évaluer la fia...

Quantification de la fiabilité des logiciels

Cet article décrit les fondements théoriques de la quantification de la fiabilité du logiciel et en expli...

WhitePaper Google DeepMind
7 septembre 2016
Google DeepMind

L\'intelligence artificielle est-elle en train de prendre le dessus de l\'homme ?

Tous les livres blancs
Toutes les actualités

Inscrivez-vous aux newsletters !

Contactez-nous