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

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...
Pour en savoir plus, rendez-vous sur le site de l'Atelier B.
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...
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....
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...
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...