NEWS&TOPICS

Atelier B 4.0.2リリース

MRI

情報源

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のビジネスにどのような効果を与えるか期待が持てる。

このページの先頭へ戻る