Nouvelle version de B4Free Génie logiciel

Une nouvelle version de B4Free est désormais téléchargeable.Les principales nouveautés : un générateur de code permettant de traduire les implémentations […]

Brama disponible en version beta 1 Génie logiciel

Brama est maintenant disponible en version beta 1 (v0.0.10). Il est pleinement fonctionnel et disponible avec sa documentation en ligne. […]

Composys, version 1.6 Génie logiciel

La version 1.6 de Composys, disponible sous Linux et Windows, sera disponible fin Juin 2007, accompagnée d’une version draft de […]

Version gratuite de l’outil B4Free Génie logiciel

Nous avons le plaisir de vous informer que CLEARSY diffuse maintenant une version gratuite de l’outil B4free pour tous. Réservé […]

RODIN : un projet de 3 ans Génie logiciel

Le projet RODIN (développement d’une plateforme ouverte pour la conception de systèmes tolérants aux fautes) a débuté. Ce projet de […]

B4Free Génie logiciel

B4free, l’environnement de développement de modèles B, est mis à disposition de la communauté scientifique : B4Free.com

error