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 PROCHAINS CYCLES DE FORMATION

> Niveau 1 : Du 26 au 29 juin 2018
> Niveau 2 : Du 17 au 20 septembre 2018
> Niveau 3 : Du 15 au 18 octobre 2018
> Niveau 1 : Du 19  au 21 novembre 2018
> Niveau 2 : Du 17 au 20 décembre 2018

 

LES INSCRIPTIONS SONT OUVERTES
Pour s’inscrire : formationb@clearsy.com

picto-2

ILS ONT SUIVI NOS FORMATIONS À L’ATELIER B…

> EN 2017 :
Niveau B événementiel : IFSTTAR, Railenium, UPEC
Niveau 2 – Alten, IFSTTAR