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., and is now available in wiki format.
- The mathematical rule writing manual has been translated into English thanks to the help of David Deharbe and Anderson Santana de Oliveira.It is available in pdfand wiki format.
- The translation of the B language user manual into English has started and should be finished by the summer of 2009.
If you would like to help us with translations, please contact us at the following address: firstname.lastname@example.org.
To synchronize efforts and avoid overlaps, please send us an e-mail when you plan to start the translation.