Accueil | Actualité | Présentation | Tutoriels | Documents | Télécharger | Installation | Liens | Contact | |


Actualités B4Free

L'Atelier B 4.0 est disponible !

Atelier B 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 :

  • la compatibilité Mac OS X et Windows supportés en plus de Linux et Solaris
  • une nouvelle interface graphique proposant:
    • l'intégration des fonctionnalités du paralléliseur (application visant a optimiser les temps de traitement des projets B par une utilisation transparente, distante et parallèle de l'Atelier B.)
    • une interface de preuve repensée
    • un éditeur avec navigation et complétion automatique
  • Intégration de la preuve de bonne définition des modèles
  • Ajout d'un outil de raffinement automatique (BART)

Nous vous invitons à télécharger cette nouvelle version sur le site Atelier B : Télécharger l'Atelier B.

Date : 23/02/2009


La nouvelle version de l'Atelier B est en beta test...

Atelier B Pour en savoir plus, rendez-vous sur le site de l'Atelier B : le téléchargement est gratuit. (suite...)

 

 

22/09/2008


Evolution de l'outil B4Free...

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 traducteur ComenC propose une traduction plus simple, permettant d'obtenir un code plus efficace et plus proche du B0 d'origine.

09/01/2008


Le Site de B4Free change…

Le site de B4Free change... Et son mode de distribution également. Désormais, l'outil B4Free est accessible à tous.

Le téléchargement est simple : pour utiliser gratuitement B4Free, il vous suffit d'envoyer votre e-mail pour activer l'application. Pour plus d'informations rendez-vous sur la Page de téléchargement.

04/01/2007