Atelier B とは?

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

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

Atelier B 4 を使う理由は?

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

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

 

Atelier B 4 をどう使うか?

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

記事の一部はCQ出版によりオンラインで閲覧できます。第1回  第2回  第3回  第4回

News

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

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

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

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

Title - Download Statistics