Atelier B とは？

ClearSyにより開発されたAtelier Bは欠陥の無いことが証明されたソフトウェア(形式的ソフトウェア)を開発する為のBメソッドの実用を可能とする産業用ツールです。

２つのエディションが有り、コミュニティエディションは誰でも制限なく利用でき、メンテナンスエディションはメンテナンス契約者のみが利用できるものです。Atelier Bの新しい機能はこちらに記載されています。

Atelier B 4 は新しい配布方針により無償でダウンロードできます。Atelier Bのコミュニティエディションは2年毎にリリースされ、誰でも制限無しに利用できます。このエディションは完全に機能するものです。

開発の為のサポート(保守改良)を得たり、中間リリースの新機能にアクセスしたりしたいユーザの為に新しい保守契約も利用可能です。

CQ出版のインターフェース誌に紹介記事が掲載されました。これらの記事はいくつかの実例を用いてBメソッドとAtelier Bを用いたその使い方を紹介しています。

記事の一部はCQ出版によりオンラインで閲覧できます。第１回  第２回  第３回  第４回

[2013/02/01] ClearSy と株式会社ヴィッツ (http://www.witz-inc.co.jp/)は、日本国内における形式手法Ｂメソッドの利用拡大に向け提携しました。

[2012/12/21] ウェブサイトに日本語セクションが追加されました。

[2012/12/1３] Redmine “report Atelier B” サイトを開設しました。バグと改善要求はここから報告できます。

[2012/12/12] Atelier B 4.1.0 がダウンロード可能になりました。特筆すべき改善内容は リリースノートに記載されています。