Publié le 05/02/2013 |

CLEARSY et Witz Corporation coopèrent au développement de l’utilisation de la méthode B au Japon.
Plusieurs actions ont été entreprises depuis l’année dernière:

  • Une série d’articles sur le développement de logiciels embarqués en B est an cours de publication dans le revue « Interface« . La première page des 4 premiers articles sont librement accessibles (1, 2, 3, 4)
  • Atelier B 4.1.0 parle le Japonais:
    • L’interface de l’outil a été traduite.
    • Le support étendu de l’Unicode permet l’utilisation d’identifieurs et de commentaires Japonais.
  • Le site Atelier B est en cours de traduction. Les premières pages traduites sont la page d’accueil et la page de version.