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

macbookcvontour

> Comprendre les principes fondamentaux de la Méthode B.
> Découvrir le Langage B.

FORMATION MÉTHODE B Niveau 2


OBJECTIFS : PRATIQUER B

macbookcvontour

> 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

macbookcvontour

> 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 à l’adresse suivante : formationb@clearsy.com

pictos-monde

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
Pour s’inscrire : formationb@clearsy.com