Vous avez été nombreux à nous répondre pour participer à la traduction des manuels dédiés à l’Atelier B et nous vous en remerçions.
Voici donc un point sur l’état d’avancement de ces travaux :
- Le document Bart specification, décrivant le langage de règle de raffinement de l’outil de raffinement automatique Bart, a été traduit en Anglais, grâce à l’aide de Aryldo G. Russo Jr.
- Le manuel de rédaction de règles mathématiques a été traduit en Anglais, grâce à l’aide de David Deharbe et Anderson Santana de Oliveira.
- La traduction en Anglais du Manuel utilisateur du langage B a été initié.
Si vous souhaitez vous joindre aux efforts de traduction, merci de nous contacter à l’adresse suivante : open-source@clearsy.com.
Pour synchroniser les efforts et éviter les travaux en doublons, nous vous demandons de bien vouloir nous envoyer un mail lorsque vous prévoyez d’entamer des travaux de traduction.