ClearSy sponsorise AFADL 2014 qui aura lieu au CNAM (Paris, France) simultanément avec les conférences CAL et CIEL, ainsi que les journées du GDR GPL. L’atelier AFADL rassemble de nombreux acteurs académiques et industriels intéressés par la mise en œuvre des techniques formelles aux divers stades du développement des logiciels et/ou des systèmes. Venez nous […]
Nos prochaines formations
Nos prochains cycles de formations se dérouleront sur Paris : Formation Niveau 1 : Du 13 au 16 mai 2014 Formation Niveau 2 : Mi-juin 2014 Formation Niveau 3 : Mi-juillet 2014 Les inscriptions sont ouvertes. Pour toute demande de formation : formationb@clearsy.com Tel : 04 42 37 12 70 – Fax : 04 42 […]
Atelier B 4.1.1
L’Atelier B 4.1.1 est disponible au téléchargement, pour les possesseurs d’un contrat de maintenance Atelier B 4. Cette version corrige 59 anomalies et propose 7 améliorations. Cette version corrige avant tout des anomalies gênantes pour l’utilisateur: Atelier B: 41 anomalies corrigées, 4 améliorations Bart: 13 anomalies corrigées, 3 améliorations Générateurs de code: 2 anomalies corrigées […]
Comment installer l’Atelier B 4.1 sur une machine Debian 64 bits
L’Atelier B 4.1 est disponible au téléchargement, notamment pour les machines Linux sous la forme de paquetages binaires pour les machines x86 32 bits sous les formats RPM et DEB. Malheureusement, le paquetage DEB n’est pas compatible avec une Debian 64 bits, par exemple Ubuntu. Cet article décrit l’approche utilisée pour installer le paquetage avec […]
Atelier B 4.1.0 & le Japon
ClearSy et Witz Corporation coopèrent au développement de l’utilisation de la méthode B au Japon. Plusieurs actions ont été entreprises depuis l’année dernière: Une série d’articles sur le développement de logiciels embarqués en B est an cours de publication dans le revue “Interface“. La première page des 4 premiers articles sont librement accessibles (1, 2, 3, 4) Atelier B […]
Atelier B 4.1.0
L’Atelier B 4.1.0 est disponible au téléchargement, pour une utilisation par tous sans restriction. Cette version corrige 385 anomalies et propose 56 améliorations (voir les notes de version pour un descriptif précis des améliorations les plus importantes). Parmi celles-ci, on notera : Ajout du type de projet « génération de données » Support amélioré des entiers : […]
Atelier B 4.1 Beta 1
La diffusion de l’Atelier B 4.1 Beta 1 débute le 02 Novembre 2012, pour une durée d’un mois. Elle intègre les améliorations de la version 4.0.2 et apporte de nombreuses évolutions fonctionnelles telles que: le support des projets de validation/génération de données, en complément des projets B logiciel et B évènementiel, ainsi que la connexion au […]
Journées sur la fiabilité du Logiciel – 14 & 15 juin 2012
Les Journées sur la Fiabilité du Logiciel, organisées les 14 et 15 Juin 2012 par l’Initiative de Recherche et Innovation sur le Logiciel Libre et le Groupe Thématique Logiciel Libre du pôle System@tic, adressent la validation, la certification, la preuve et l’analyse de code. A cette occasion, l’Atelier B et ses applications seront présentées.
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 14 améliorations. Découvrir les améliorations…
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 nouvelle version est disponible sous Linux, Windows, Mac et Solaris, et corrige plusieurs bugs de […]