Etat d’Avancement des Traductions des Manuels Atelier B

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. Celui-ci est disponible au format wiki.
• 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. Il est disponible au format pdf et wiki.
• La traduction en Anglais du Manuel utilisateur du langage B a commencé et devrait être terminée d’ici l’été 2009.

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.