Accueil - Nouveautés - Produit - Versions - Télécharger - Manuels - Maintenance - Politique de Distribution
Perspectives & Appels à Contribution - Support - Formation - Documents - Presse - Références -
R&D - Contacts - Emploi - Liens - Votre Compte

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

Comprendre B

 

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

 

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

 

Prouver B

 

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

 

Formations complémentaires

Intitulé de la Formation

Objectifs

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

Soit plus de 38 personnes formées à l'Atelier B en 2008 !