| 1 |
13：00〜13：15 |
キャッツが考える「組込みシステム開発フレームワーク」全体像について |
| - キャッツ製品のご紹介 - |
| 2 |
13：15〜14：00 |
ZIPC：
状態遷移表をベースとした組込みシステム向けCASEツール
Perfect Pass：
状態遷移モデルからの試験項目自動抽出ツール
Garakabu：
状態遷移表検査ツール |
| 3 |
14：00〜14：30 |
ZIPC++：
ZIPC に UML を取り入れたオブジェクト指向型組込みシステム向け CASE ツール |
| 4 |
14：30〜15：00 |
Drawrial：
GUI設計に最適な画面仕様作成ツール |
| 5 |
15：00〜15：30 |
XModelink series：
SoC 開発における上流設計ツール
FastVeri：
ソフト／ハード高速協調検証ツール |
|
15：30〜15：50 |
休憩 |
| - パートナーからの製品紹介 - |
| 6 |
15：50〜16：10 |
エンサーク 「ENCIRQ Data Foundation Framework」 |
| 7 |
16：10〜16：30 |
ブライセン 「Linter」 |
| - 研究・開発プロジェクト - |
| 8 |
16：30〜17：00 |
エンピリカル・ソフトウェア工学：
EPM ツール（仮称） |
| - キャッツ取扱製品のご紹介 - |
| 9 |
17：00〜17：30 |
要件管理・構成管理ツール |
