ディペンダブル・システムのための形式手法の実践ポータル

ClearSy、Atelier B 4.0 をリリース

情報源

http://www.clearsy.com/news-en/news/

発表日

2009年2月23日

実施者等

ClearSy

概要

ClearSy社がB Methodに基いた形式手法ツール Atelier B のバージョン4.0をリリースした。ダウンロードは無償。個別のニーズに合わせた新しいタイプのメンテナンス契約が特徴である。

このページの先頭へ戻る