Accueil l Actualités B l La Méthode B l Travaux R&D l Preuve Formelle l Publications
B, les différents langages
 
l Outils B l Documents l B Tools Forum  l Nos Liens l Contact    


Roadmap 2007/2008

Forte de son expérience en Recherche & Développement, ClearSy développe ses outils dans l'objectif de répondre efficacement aux besoins de ses utilisateurs. A ces fins, notre société s'inscrit dans des projets évolutifs et axe son développement autour d'outils majeurs tels que l'Atelier B, B4Free, Brama et CompoSys.

Pour plus d'informations sur notre programme, vous trouverez ci-dessous une road-map des projets définis pour les années 2007 et 2008.

PROJETS DE CLEARSY POUR 2007/2008

 

ClearSy System Engineering - Parc de la Duranne - 320 av. Archimède - Les Pléïades III Bat A
13857 AIX EN PROVENCE CEDEX 3
Tel : 04 42 37 12 70 - Fax : 04 42 37 12 71 -
contact@clearsy.com