ClearSy’s Open Source
Projects
In 2008, ClearSy decided to
make Atelier B available at no cost in order to favour the dissemination of B.
In order to facilitate the
appropriation of underlying technologies, a number of Atelier B’s key tools
have become open source community projects, including:
- The B compiler
- The automatic BART refinement tool
- Atelier B 4’s man-machine interface
- The ComenC translator
This page summarizes the
status of these projects, specifically, the list of projects, date of
availability, works in progress, contributions made and the schedule for next
steps.
For the time being,
these projects are meant to turn into open source projects and will cover 2008
and 2009.
Please contact us if you would like to contribute to one of
these projects.
|
Tool
|
Activity
|
Schedule
|
|
B
Compiler
|
Construction
of a wiki
English translation of the documentation
Availability of the sources under SVN Sourceforge
|
Operational launch
July 2008
Not scheduled
Planned date: August 2008
|
|
BART
|
Addition
of a BART section to the "B Compiler" wiki
English translation of the documentation
Availability of the sources under SVN Sourceforge
|
Planned
date: September 2008
Not scheduled
Planned date: November 2008
|
|
Atelier B
4 HMI
|
Construction
of a wiki
English translation of the documentation
Availability of the sources under SVN Sourceforge
|
Planned
date: September 2008
Not scheduled
Planned date: October 2008
|
|
ComenC
|
Construction
of a wiki
English translation of the reference manuals
Availability of the sources under CVS Sourceforge
|
Operational launch May 2008
Progress 50%. End planned for July 2008
Planned date: October 2008
|
