FORMATION À LA MÉTHODE B
FORMATION À LA MÉTHODE B POUR TOUS NIVEAUX
Les formations B constituent le moyen idéal pour découvrir B en l’abordant d’une manière méthodologique et adéquate. Une méthode formelle comme B ne peut pas s’apprendre seulement en testant l’outil informatique Atelier B ! C’est pourquoi l’Atelier B est vendu dans un package qui comprend ces formations. L’achat de la formation MÉTHODE B niveau 1 seule est un bon moyen pour démarrer avec B, tout en expérimentant l’Atelier B avec l’aide de ses créateurs.
Considérée comme un leader de la méthode B, CLEARSY a dispensé depuis le lancement des formations B en 2014 plus 6650 heures de formation et formé plus de de 280 personnes.
En 2024, 100% de participants sont satisfaits, dont 96% de participants très satisfaits.
Notamment ici : https://www.clearsy.com/savoir-faire/formations/
La certification a été délivrée au titre de la catégorie suivante: ACTIONS DE FORMATION
CLEARSY DISPENSE 5 NIVEAUX DE FORMATIONS RELATIVES À L’UTILISATION DE B ET DE L’ATELIER B
FORMATION MÉTHODE B Niveau Manager / Responsable Technique
OBJECTIFS : DECOUVRIR B
- Comprendre l’intérêt fondamental d’une méthode formelle
- Découvrir la Méthode B et son utilisation.
- Découvrir les bases de la conception système en B.
- Découvrir les bases du développement logiciel en B.
- Découvrir les bases de la validation de données.
OBJECTIFS : COMPRENDRE B
- Comprendre les principes fondamentaux de la Méthode B.
- Découvrir le Langage B.
- Assimiler les mathématiques en B.
- Maitriser le typage en B.
FORMATION MÉTHODE B Niveau 2
OBJECTIFS : PRATIQUER B
- Comprendre les principes du développement d’un projet B.
- Pratiquer la construction de “bons” modèles B.
- Apprendre les notions avancées du Langage B.
- Maîtriser les boucles en B.
FORMATION MÉTHODE B Niveau 3
OBJECTIFS : PROUVER B
- Apprendre à prouver un modèle B à l’aide de l’Atelier B.
- Utiliser la preuve automatique et la preuve interactive.
- Savoir utiliser des règles.
- Savoir écrire des règles.
FORMATION MÉTHODE B Niveau 4
OBJECTIFS : RAFFINER AUTOMATIQUEMENT B
- Apprendre à raffiner automatiquement des composants B
- Savoir raffiner automatiquement des variables.
- Savoir raffiner automatiquement des opérations.
- Savoir raffiner automatiquement des boucles.
NOS CYCLES DE FORMATION
Des sessions de formation sont organisées au gré des inscriptions. Les dates sont déterminées en échangeant avec les inscrits de sorte à arranger l’ensemble des participants et de satisfaire leurs différentes contraintes. N’hésitez pas à nous contacter pour plus d’information !
8 sessions ont déjà eu lieu depuis 2024, auxquelles ont participé Alstom, Ikos, Merce, RATP, Serma, Siemens et STMicroelectronics.