-
Loading...
Register
Retrieve password
Archives de l’auteur : ClearSy
L’Atelier B 4.0.2 est disponible pour les détenteurs d’un contrat de maintenance
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 … Continuer la lecture
L’Atelier B 4.0.1 est disponible pour les détenteurs d’un contrat de maintenance
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 … Continuer la lecture
Smart Event 2009 – Présentation du projet Forcoment, développé avec 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 … Continuer la lecture
ProB, utilisable depuis l’Atelier B 4.0
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 … Continuer la lecture
Etat d’Avancement des Traductions des Manuels 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 : Le document Bart specification, décrivant le … Continuer la lecture
L’Atelier B 4.0 est disponible !
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 : le téléchargement de l’Atelier B est gratuit un nouveau contrat de maintenance s’adapte à vos besoins … Continuer la lecture
L’Atelier B 4.0 en beta test 2…
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. Windows (17 Mo) Linux (41 Mo) Mac OS … Continuer la lecture
L’Atelier B 4.0 en beta test…
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. Windows (10Mo) Linux (30Mo) Mac OS (28Mo) Fichiers … Continuer la lecture
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 d’exploitation Windows, Linux et Mac…
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. L’Atelier B 4.0 sera disponible pour tout les utilisateurs en version beta courant septembre 2008. … Continuer la lecture
Français
Anglais 
