Contact

Etat d’Avancement des Traductions des Manuels Atelier B

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.
  • 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.

Vous aimerez aussi :

Copy link
Powered by Social Snap