http://www.b4free.com Actualité de B4free, outil logiciel pour l'enseignement de la méthode B en milieu académique, et dédié au développement de logiciels prouvés. http://www.fersil.fr/images/clearsy_texte.gif http://www.b4free.com http://www.atelierb.eu/mailing/Distribution_Atelier_B_tous_fr.html Atelier B Gratuit 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... Wed 02 Jul 2008 08:53:00 GMT http://www.b4free.com/php/actualites_fr.php B4Free et ComenC B4Free est maintenant capable de générer du code C, grâce au traducteur CommenC intégré à B4Free.Ce traducteur est issu de la convergence entre les traducteurs industriels, et des travaux de recherches. Par rapport aux traducteurs précédents, le... Wed 18 June 2008 10:39:00 GMT