HOME > 人材育成プログラム > 組込み適塾 実践演習コース 実践的モデル検査

組込み適塾 実践演習コース 実践的モデル検査

募集要項

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

ダウンロード

詳細につきましては、募集案内及びシラバスを下記よりダウンロードの上、ご参照ください。

組込み適塾 実践演習編 実践的モデル検査 パンフレットPDF 組込み適塾 実践演習編 実践的モデル検査 申込書
組込み適塾 実践演習編 実践的モデル検査 シラバスPDF

↑ページトップへ