Atelier B 4.1.0 & le Japon

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.