イベント

「せっかく書いたのにもったいない !!!」
形式手法でよみがえる "ダイナミック" な UML

2008/7/30(水)
終了

モデル検査

イベント

コーデック　アプリケーション別ソリューションセミナー
～ ビデオ機器、セキュリティ機器、ポータブル機器、コンシューマ機器など ～

2008/7/2(水)
終了

組込みシステム

イベント

UML を使ったモデル検査
～ お持ちのシーケンス図、状態図を検証してみませんか ～

2008/6/25(水)
終了

モデル検査

イベント

第34回 SEA関西プロセス分科会
～「動きの設計と検証、さらに自動化」～

2008/5/30(金)
終了

モデル検査

イベント

大規模・高機能な組込みシステム向けのリアルタイムOSセミナー
～メモリ保護／プロセスモデル対応T-Kernel、POSIX仕様準拠RTOSのご紹介～

2008/1/30(水)
終了

組込みシステム