Publié le 12/05/2009 |
Many of you have answered us in order to participate in the translation of manuals dedicated to Atelier B: thank you.
Here is a status report on our work:
- The Bart specification document, which describes the refinement rule language for the Bart automatic refinement tool has been translated into English thanks to the help of Aryldo G. Russo Jr.
- The mathematical rule writing manual has been translated into English thanks to the help of David Deharbe and Anderson Santana de Oliveira.
- The translation of the B language user manual into English has been initiated.