L’Atelier B 4.0.2 a été mis à disposition le 07 Janvier 2011 et peut être téléchargé par les possesseurs d’un contrat de maintenance Atelier B 4 sur cette page : Compte Atelier B.
Cette version corrige 84 anomalies et propose 14 améliorations.
Nous avons le plaisir de vous informer de la mise à disposition de l’Atelier B 4.0.1.
Cette version est exclusivement réservée aux détenteurs de la maintenance, et est accessible via leurs comptes respectifs sur le site de l’Atelier B.
Cette nouvelle version est disponible sous Linux, Windows, Mac et Solaris, et corrige plusieurs bugs de la version 4.0, que vous pouvez consulter à cette adresse : Statut des Bugs de l’Atelier B.
Marc Benveniste (STMicroelectronics) a présenté à l’occasion de l’évènement Smart Event 2009, qui s’est déroulé du 22 au 25 septembre 2009, un article intitulé « A Proved « Correct by Construction » Memory Protection Unit », présentant les enjeux du projet Forcoment, développé en collaboration avec ClearSy et son outil Atelier B. Sa présentation a abordé plus spécifiquement :
ProB est utilisable depuis l’Atelier B 4.0 pour prouver et animer des modèles B logiciels et événementiels, grâce au mécanisme d’extension qui permet de connecter l’Atelier B avec d’autres outils. Depuis la version 1.3.0, ProB génère le fichier de paramètres qui lui permet de s’interfacer avec l’Atelier B.
Vous avez été nombreux à nous répondre pour participer à la traduction des manuels dédiés à l’Atelier B et nous vous en remerçions.
Voici donc un point sur l’état d’avancement de ces travaux :
Si vous souhaitez vous joindre aux efforts de traduction, merci de nous contacter à l’adresse suivante : open-source@clearsy.com.
Pour synchroniser les efforts et éviter les travaux en doublons, nous vous demandons de bien vouloir nous envoyer un mail lorsque vous prévoyez d’entamer des travaux de traduction.
Nous avons le plaisir de vous annoncer la sortie de l’Atelier B 4.0. Celle-ci s’accompagne d’un tout nouveau mode de distribution pour lequel :
Parmi les principales évolutions de l’outil, notons surtout :
Nous vous invitons à télécharger cette nouvelle version sur le site Atelier B : Télécharger l’Atelier B.
ClearSy la met à disposition des utilisateurs pour obtenir des retours et des échanges concernant cette version. Nous remercions par avance tout les utilisateurs qui contribueront à l’amélioration de cette nouvelle version.
Pour nous contacter et recevoir vos remarques et suggestions, contactez-nous à l’adresse suivante : contact@atelierb.eu.
ClearSy la met à disposition des utilisateurs pour obtenir des retours et des échanges concernant cette version. Nous remercions par avance tout les utilisateurs qui contribueront à l’amélioration de cette nouvelle version.
Pour nous contacter et recevoir vos remarques et suggestions, contactez-nous à l’adresse suivante : contact@atelierb.eu
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 d’exploitation Windows, Linux et Mac…
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
Français
Anglais 
