Atelier B 4.0 : Etat d'Avancement .:. posté par ClearSy le 05-08-08 à 14h19 .:.
|
 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.
L'Atelier B 4.0 sera disponible pour tout les utilisateurs en version beta courant septembre 2008.
Nous vous tiendrons prochainement au courant des évolutions de l'Atelier B dans sa version 4.0. jusqu'à sa diffusion finale au grand public. |
|
|
Projets Open Source de ClearSy .:. posté par ClearSy le 17-07-08 à 14h18 .:.
|
 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 des technologies sous-jacentes, plusieurs des outils clés de l'Atelier B deviennent des projets communautaires open-source.
Plus d'informations sur les Projets Open Source de ClearSy... |
|
|
Gratuité de l'Atelier B .:. posté par ClearSy le 02-07-08 à 14h17 .:.
|
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 proposée à quelques utilisateurs volontaires entre juillet et septembre. La phase Beta test commencera ensuite pour deux mois, pour se terminer fin 2008.
D'ici là, les écoles et universités désirant disposer de l'Atelier B peuvent dès à présent demander le prêt de l'Atelier B 3.7.
En savoir plus sur la gratuité de l'Atelier B... |
|
|
Colloque "B Dissemination Day 2008", au Brésil .:. posté par ClearSy le 09-06-08 à 14h16 .:.
|
 AeS et ClearSy organisent cette année une journée dédiée à la méthode B, qui se déroulera au Brésil, en août prochain. Cet événement sera présenté à 2 reprises, lors des 2 conférences suivantes :
- 26 août 2008 : Conférence SBMF 2008, au Salavador
- 28 août 2008 : Conférence à l'IPT (Institut de recherche technologique de l'Etat de Sao Paulo)
L'objectif de cet événement consiste à présenter et promouvoir la méthode B, au travers de différentes présentations de projets et d'outils ayant fait appel à B.
|
|
|
Colloque International "Open Source Software Certification" - 10 septembre 2008, Milan .:. posté par ClearSy le 22-05-08 à 14h13 .:.
|
 FLOSS-FM ET OpenCert 2008 organisent cette année le 2nd colloque international dédié à l'Open Source et aux Méthodes Formelles. Cet événement a pour objectif de rassembler les acteurs industriels et académiques autour de la problématique de la certification de logiciels développés en Open Source à partir de Méthodes Formelles.
Pour en savoir plus, consultez le site de l'événement : FLOSS-FM. |
|
|
Colloque sur les méthodes formelles à Turku, en Finlande .:. posté par ClearSy le 02-04-08 à 14h10 .:.
|
 Formal Methods Europe organise du 26 au 30 mai 2008, un colloque international consacré aux méthodes formelles. Cet événement fera le point sur les dernières évolutions techniques de ces méthodes, et présentera de nouveaux outils formels.
ClearSy y présentera l'outil BART. Plus d'informations...
Pour en savoir plus sur ce colloque, rendez-vous sur le site : FM 2008. |
|
|
Conférence : La Méthode B, de la Recherche à l'Enseignement .:. posté par ClearSy le 08-02-08 à 14h08 .:.
|
 L'université de Nantes organise une conférence dédiée à la Méthode B. Elle se déroulera le 16 juin 2008, à la Cité Internationale des Congrès, dans la ville de Nantes.
Pour connaître le programme de cette conférence, nous vous invitons à découvrir :
|
|
|
Conférence ABZ 2008 du 16 au 18 septembre 2008, à Londres .:. posté par ClearSy le 11-01-08 à 13h54 .:.
|
 La conférence ABZ 2008 a pour objectif de réunir les communautés B, Z et ASM. Elle sera organisée autour d'une journée commune et de 2 journées propres à chaque communauté, soit :
- the 15th International ASM Workshop,
- the 17th International Conference of Z Users,
- the 8th International Conference on the B Method
Les Informations sont disponibles sur le site de la conférence : ABZ 2008. |
|
|
Conférence sur les Méthodes Formelles d'Ingénierie .:. posté par ClearSy le 20-09-07 à 13h50 .:.
|
 A l'occasion de sa 9eme édition, l'ICFEM (International Conference on Formal Engineering Methods) qui se tiendra du 14 au 15 novembre 2007 en Floride, abordera la question de B et de la plateforme Rodin. (obtenir le programme) |
|
|
|
