Les Projets Open Source de ClearSy
En 2008, ClearSy a décidé de mettre à disposition gratuitement l'Atelier B, afin de
favoriser la dissémination de B.
Dans le but de faciliter l'appropriation des
technologies sous-jacentes, plusieurs des outils clés de l'Atelier B deviennent
des projets communautaires open-source, parmi lesquels:
- le compilateur B
- l'outil de raffinement automatique BART
- l'interface homme machine de
l'Atelier B 4
- le traducteur ComenC
Cette page synthétise l'état
d'avancement de ces projets, notamment la liste des projets, la date de mise à
disposition, les travaux en cours, les contributions réalisées, la planification
des prochaines étapes.
Pour l'instant, il s'agit avant tout de transformer
ces projets en véritables projets open-source. Ces travaux s'étaleront sur les
années 2008 et 2009.
N'hésitez pas à nous contacter si vous souhaitez
contribuer à l'un de ces projets.
Outil
|
Activité
|
Planification
|
Compilateur B
|
Construction d'un wiki
Traduction en anglais de la
documentation
Mise à disposition des sources sous SVN Sourcefoge
|
Mise en service : Juillet 2008
Pas de planification
Mise en service :
Août 2008
|
BART
|
Ajout d'une section BART au wiki "Compilateur B"
Traduction en
anglais de la documentation
Mise à disposition des sources sous SVN
Sourceforge
|
Date prévue: Novembre 2008
Pas de planification
Date
prévue: Février 2008
|
IHM Atelier B 4
|
Construction d'un wiki
Traduction en anglais de la
documentation
Mise à disposition des sources sous SVN Sourceforge
|
Date prévue: Novembre 2008
Pas de planification
Date
prévue: Février 2008
|
ComenC
|
Construction d'un wiki
Traduction
en anglais des manuels
de référence
Mise à disposition des sources sous CVS Sourceforge
|
Mise en service Mai 2008
Avancement 50%. Fin prévue en Novembre
2008
Date prévue: Décembre 2008
|
|
