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 qui permet d’éliminer les ambiguïtés et d’éclaircir la spécification.
La méthode B est une méthode formelle développée par J-R. Abrial et utilisée 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.
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.