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...
Actualités
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....
Quelques captures d’écran de l’Atelier B 4.0
En attendant la sortie de l'Atelier B 4.0, nous vous laissons découvrir en avant première quelques captures d'écrans de notre application sous les systèmes...
Projets Open Source de CLEARSY
En 2008, CLEARSY a décidé de mettre à disposition gratuitement l'Atelier B, afin de favoriser la dissémination de B. Dans le but de faciliter l'appropriation...
Conférence de Nantes du 16 juin 2008
La Méthode B, de la Recherche à l'Enseignement Le colloque "the B method: from Research to Teaching" s'est déroulé à Nantes le 16 juin 2008, à l'occasion des...
Gratuité de l’Atelier B
La version 4 de l'Atelier B sera gratuite pour tous dès sa sortie, en fin d'année 2008. La version en cours de préparation est testée en interne et sera...