Publié le 13 septembre 2011

Formation B

Présentation des différentes formations B

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 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 :

Intitulé de la Formation

Objectifs
Formation Niveau 1 : Comprendre B
  • Comprendre les principes fondamentaux de la Méthode B.
  • Découvrir le Langage B.
Formation Niveau 2 : 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 Niveau 3 : Prouver B
  • Apprendre à prouver un modèle B à l’aide de l’Atelier B.

Formations complémentaires

Intitulé de la Formation

Objectifs
Formation EVENT-B
  • Apprendre à utiliser le B événementiel pour la modélisation et la validation de systèmes.
Formation sur l’outil BART
  • 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

Ils on étés formés à l’Atelier B…

En 2011

  • Niveau 2 – 11/04/2001 – 14/04/2011 : Alstom
  • Niveau 2 – 26/09/2011 – 29/09/2011 : Mitsubishi

En 2010

  • Niveau 2 du 03/05/2010 au 06/05/2010 : MITSUBISHI
  • Niveau 2 du 03/05/2010 au 06/05/2010 : DGA
  • Niveau 2 du 03/05/2010 au 06/05/2010 : SIEMENS
  • Niveau 1 du 17/05/2010 au 21/05/2010 : RATP
  • Niveau 1 du 17/05/2010 au 21/05/2010 : SIEMENS
  • Niveau 2 du 01/06/2010 au 04/06/2010 : SIEMENS
  • Niveau 3 du 16/06/2010 au 18/06/2010 : RATP
  • Niveau 3 du 16/06/2010 au 18/06/2010 : SIEMENS
  • Niveau 4 du 21/06/2010 au 22/06/2010 : SIEMENS

En 2009 :

  • Niveau 2 du 14/04/2009 au 17/04/2009 : NOVASYS
  • Niveau 2 du 14/04/2009 au 17/04/2009 : RATP
  • Niveau 2 du 14/04/2009 au 17/04/2009 : PACTE NOVATION
  • Niveau 1 du 17/11/2009 au 20/11/2009 : AREVA TA
  • Niveau 1 du 17/11/2009 au 20/11/2009 : ALSTOM

En 2008 :

  • Niveau 1 du 21/04/2008 au 24/04/2008 : SIEMENS SAS (3 p), ORANGE (1 p), ALSTOM (1 p)
  • Niveau 2 du 03/06/2008 au 06/06/2008 : SIEMENS SAS (5 p)
  • Niveau 4 du 18/06/2008 au 19/06/2008 : SIEMENS SAS (4 p)
  • Niveau 3 du 08/08/2008 au 10/08/2008 : SIEMENS SAS (6 p)
  • Niveau 1 du 18/11/2008 au 21/11/2008 : SIEMENS SAS (4 p)
  • Niveau 1 du 02/12/2008 au 05/12/2008 : RATP (4 p)
  • Niveau 2 du 08/12/2008 au 11/12/2008 : SIEMENS SAS (5 p)
  • Niveau 1 du 18/11/2008 au 21/11/2008 : ALSTOM (2 p)
  • Niveau 1 du 02/12/2008 au 05/12/2008 : ALSTOM (3 p)

Les commentaires sont fermés.