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

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