http://www.atelierb.eu/news-en/news/affichage.php?action=voir&id=17
2011年1月14日
2011年1月7日
ClearSy
Atelier B 4.0.2が1月7日にリリースされた。Atelier B 4のメンテナンス契約者は公式サイトからダウンロードできる。新バージョンでは84のバグが修正され、14の新機能が加わった。
新機能には以下のようなものが含まれる：
・インタラクティブプルーバー（証明系）は、未証明のゴールをリスト表示し、残りの証明作業を分かりやすくする。
・証明課題のカバレッジ等を表示し、システムモデルのカバレッジを実証する。
・ユーザが追加した証明ルールの検証ツールの提供。
鉄道分野の実践での実績が多いAtelier Bツールのユーザインタフェース等を中心に利便性が改善された。ユーザニーズを取り入れて、着実に使いやすいツールに改善され、普及に効果が期待できる。
Aelier Bツールは無償化され、ClearSyは、Bメソッドのコンサルティングとシステム開発を収益の中心に転換している。ツール改良が、ClearSyのビジネスにどのような効果を与えるか期待が持てる。