組込み適塾 実践演習コース 実践的モデル検査
募集要項
- 目的
- 「組込み適塾」の修了生を主な対象者とし、実際のプログラムなどを活用した実践演習を行うことで、「組込み適塾」で修得したシステムアーキテクトとして必要な知識の習熟度を高める。
- コース概要
-
曖昧さを含まないようにソフトウェアの仕様や設計を記述し、厳密に検証を行う手法であるモデル検査を演習を通して学び、適用の際の技術を習得する。
実際にシステムの仕様書や設計書にモデル検査を適用する演習を通して、モデル検査の適用プロセスの実際面を学び、仕様の不整合や抜けを発見するための技能を身につける。
モデル検査器としてSpinを利用する。 - 受講要件
-
- 組込み適塾の受講或いは相当する技術と経験を有していること。
- モデル検査の適用に関心があること。
- 開催日程
- 9月5日（月）、6日（火）、7日（水）
時間：9:30～17:30 - 募集人数
- 15名
- 受講料
-
組込みシステム産業振興機構 会員 50,000円 一般 70,000円 - 申込締切日
- 2011年8月19日（金）
- 申込方法
- 組込み適塾事務局まで、所定の申込書とアンケートにご記入の上、FAX：072-751-8806または、E-mail：esip_info@kansai-kumikomi.netまで送付願います。
ダウンロード
詳細につきましては、募集案内及びシラバスを下記よりダウンロードの上、ご参照ください。
 |
 |
 |