メニュー
トップページ
最近更新したページ
ページ一覧
タグ一覧
このウィキの読者になる
更新情報がメールで届きます。
このウィキの読者になる
カテゴリー
企業/業界
IT業界
学問・理系
ソフト工学
最近更新したページ
2006-04-18
Signal
MenuBar2
MenuBar1
FrontPage
Polis
ESTEREL
2006-04-17
OpenModelica
2006-04-13
IFx
Uppaal
SPIN
2006-04-12
Metropolis
Giotto
jMocha
2006-04-11
LUSTRE
Profile
Calendar
Memo
Bookmarks
最新コメント
Bookmarks by 太?城
IFx by awesome things!
OpenModelica by check it out
LUSTRE by check it out
Signal by check it out
ESTEREL by awesome things!
FrontPage by check it out
FrontPage by watch for this
LUSTRE by seo thing
SPIN by check this out
Menu
LUSTRE
Uppaal
SPIN
jMocha
OpenModelica
ESTEREL

Giotto
Metropolis
Polis

IFx

UMLベースのモデル検査ツール。
ステートチャート図をもとに、検証をしようというアプローチ

アリアンロケットの適用例がある。




http://www-omega.imag.fr/tools/IFx/IFx.php
コメント(3) ｜このページをクリップ！
カテゴリ：企業/業界 > IT業界
「IFx」をウェブ検索する「IFx」をウェブ検索する
2006年04月13日(木) 18:29:51 Modified by red_out




スマートフォン版で見る