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.