Contact

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.

CLEARSY DISPENSE 3 NIVEAUX DE FORMATIONS RELATIVES À L’UTILISATION DE B ET DE L’ATELIER B

FORMATION MÉTHODE B Niveau 1

OBJECTIFS : COMPRENDRE B

  • Comprendre les principes fondamentaux de la Méthode B.
  • Découvrir le Langage 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.
  • Découvrir le B événementiel.

FORMATION MÉTHODE B Niveau 3

OBJECTIFS : PROUVER B

Apprendre à prouver un modèle B à l’aide de l’Atelier B.

FORMATIONS COMPLÉMENTAIRES

Nos cours sur la Méthode B peuvent être complétés avec les formations suivantes, selon vos besoins.

FORMATION EVENT-B Objectifs

Apprendre à utiliser le B événementiel pour la modélisation et la validation de systèmes.

FORMATION BART Objectifs

Apprendre à raffiner automatiquement un modèle B en utilisant Bart.

Des sessions de formations spéciales peuvent être organisées dès lors que la demande concerne au minimum 3 auditeurs.

Contactez CLEARSY pour plus de détails

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 !

5 sessions ont déjà eu lieu cette année, auxquelles ont participé Alstom-Transport, AUSY, la RATP ou encore Sigtel.

LES INSCRIPTIONS SONT OUVERTES

S’inscrire par email

Copy link
Powered by Social Snap