Le développement de systèmes critiques demande une rigueur particulière pour obtenir des systèmes de grande qualité.
Les méthodes formelles apportent cette rigueur nécessaire grâce à une modélisation mathématique des spécifications. Cette approche permet non seulement d’éliminer les ambiguïtés, mais aussi de clarifier la spécification.
La méthode B est une méthode formelle développée par J-R. Abrial et utilisée en particulier dans le domaine industriel pour le développement de systèmes complexes.
Objectifs
- Acquérir la méthodologie pour la réalisation de développements B logiciels
- Connaître le langage B
Pré-requis
Connaissance des principes de développement de logiciels complexes.
Programme sur 2 jours
- Principes de la méthode B
- Principes d’un développement logiciel en B
- Modélisation des données, des exigences et des traitements en B
- Structurer un développement logiciel en B
- Apprendre les principes du raffinement
Évaluation
Des questionnaires seront établis en début et en fin de formation afin d’évaluer les acquis.
Avis
« La formation à la méthode B m’a permis de faire un grand pas en avant dans cette matière, pourtant très complexe. Le formateur a réussi en seulement deux jours à condenser la base nécessaire pour me permettre d’ouvrir d’autres horizons et de me motiver pour perfectionner mes connaissances dans ce domaine.«
Laurent Guillaume, Développeur Logiciel, Elipse Technologie.
L’expertise de Systerel en méthode B
Systerel est l’un des leaders dans l’utilisation de la méthode B pour le développement de logiciels critiques dans un cadre industriel.
La méthode B permet un développement formel structuré en étapes jusqu’à l’obtention d’un code exécutable.
La formation est étayée par de nombreux exemples et exercices pratiques, permettant ainsi une mise en œuvre concrète de la méthode B un projet industriel.
Des formations adaptées à vos besoins
Les formations peuvent être dispensées en présentiel ou à distance.
Nous pouvons également proposer une formation en interne, spécialement conçue pour répondre aux exigences de votre entreprise.
N’hésitez pas à nous contacter pour plus d’informations : formation@systerel.fr
Taux de satisfaction 2023 : 92 %*
* Taux moyen sur la base des enquêtes de satisfaction réalisées lors des formations.
La certification qualité a été délivrée au titre de la catégorie « actions de formation ».
En savoir plus sur nos formations
Modalités et contactCatalogue des formations
Activité enregistrée sous le numéro 93 13 12834 13 auprès du préfet de région Provence-Alpes-Côte d’Azur.