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 2 : Du 24 au 27 juillet 2017 – Paris
> Niveau 3 : Du 18 au 20 septembre 2017 – Paris

> Niveau 1 : Du 16 au 19 octobre 2017 – Paris
> Niveau 2 : Du 13 au 16 novembre 2017 – Paris
> Niveau 3 : Du 11 au 13 décembre 2017 – Paris

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

picto-2

ILS ONT SUIVI NOS FORMATIONS À L’ATELIER B…

> EN 2014 :
Niveau 3 – Du 25/05/2014 au 27/05/2014 : IFSTTAR
Niveau 1 – Du 13/05/2014 au 16/05/2014 : Alstom, IT Link, Mitsubishi
Niveau 3 – Du 29/01/2014 au 31/04/2014 : RATP, Siemens, Telecom Paris, Université Paris Diderot