L'université de Nantes organise une nouvelle édition de sa conférence dédiée à la Méthode B. Celle-ci de déroulera le 8 juin 2009, à la Cité Internationale...
Actualités
La nouvelle version de l’Atelier B est en beta test 2
Pour en savoir plus, rendez-vous sur le site de l'Atelier B.
Conférence ABZ 2010
CLEARSY annonce sa participation à la Conférence ABZ 2010 qui se tiendra du 23 au 25 février 2010, à Orford au Canada. Cet événement a pour objectif de réunir...
La nouvelle version de l’Atelier B est en beta test
Pour en savoir plus, rendez-vous sur le site de l'Atelier B.
Journées de Présentation de la Méthode B à Salvador et Sao Paulo, au Brésil
B Dissemination Day - Salvador CLEARSY et AeS ont organisé une journée de présentation de la méthode formelle B à Salvador, Brésil (26/08/2008), en tant...
Atelier B 4.0 : Etat d’Avancement
La version alpha de l'Atelier B 4.0 a été distribuée à un petit nombre d'utilisateurs dans l'objectif de recueillir quelques avis et remarques sur l'outil....