Publié le 12/05/2009 |

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