お知らせ : 「MBEC (Model Based Error Checker)」が連携製品・ソリューションに加わりました!
投稿者: tkouno 投稿日時: 2019-12-10 9:18:07 (114 ヒット)

MBEC (Model Based Error Checker)は、株式会社構造計画研究所 事業開発部AOR研究室が開発した
Enterprise Architectアドインおよび利用のための支援サービスです。

Enterprise Architectで作成したモデルに対して形式検証ツールを呼び出します。
問題が発見された場合にはそこに至るまでの過程をモデル上のアニメーションで再現します。

詳細は以下のページをご覧ください。
https://www.kkeformalmethod.com/
(現在、ツール試用版提供&無償での試解析を実施しているとのことです。)


なお、来年前半に、株式会社構造計画研究所と連携して、このMBECに関連するセミナーを実施できるよう
現在調整中です。詳細が決まりましたらお知らせいたします。

印刷用ページ このニュースを友達に送る