福岡市主催「先進的組込みソフトウェア技術者育成事業」の
「モデル検査」を事業実施 NPO QUESTで開催致します。
～現場で使うモデル検査～
モデル検査とは形式手法の一種であり
モデルベース設計に基づいた設計書に
不具合がないかを検査します。
モデル化した設計図を検査するため、
コーディングする前に致命的な不具合を
検出することが可能です。
モデル検査は複雑なアルゴリズムに
基づいて行われますが本講座では
そのアルゴリズムの内容よりも、
「現場で使うモデル検査」
を意識して分かり易く解説していきます。
| 番号 | 項目 | 内容 | 備考 |
| １． | 【主催】/ 【事業実施】 | 福岡市/ 九州組込みソフトウェアコンソーシアム（ＱＵＥＳＴ） | |
| ２. | 【プログラム】 | 1．モデル検査の概要 2．モデル検査のツールの紹介 3．モデル検査までの過程 4．モデル検査ツールを使ってみよう 5．モデル検査の具体例 | |
| ３. | 【講師】 | NPO法人 QUEST 運営・企画室 室長 山下 直仁 | |
| ４． | 【日時・場所】 | 平成22年7月20日（火) 12時30分受付 13時開始-17時終了予定 福岡SRPセンタービル 2F 研修室2 （住所：福岡市早良区百道浜２丁目１番２２号） | |
| ５． | 【定員】 | 20名 | |
| ６． | 【参加費】 | 無料 | |
| ７． | 【懇親会】 | 講師への質問や、参加者間の情報交換にご活用ください 主催 NPO法人 九州組込みソフトウェアコンソーシアム 時間 17時10分～18時10分 場所 研修室2 参加費 無料 |
下記URLからお申し込みください。
※お申し込みに際しての注意点※
①参加のお申し込みは，6月29日(火)から受け付けます。
②受付は先着順で行い、定員に達した場合はその時点でお申し込みを
お断りする場合がございますので、お早めのお申し込みをお願いいたします。
「お問い合わせ・ご連絡先」
特定非営利活動法人
九州組込みソフトウェアコンソーシアム
（NPO法人QUEST）
先進的組込みソフトウェア技術者育成事業
運営・企画室
TEL/FAX 092-846-1600
Email register@quest9.org
個人情報利用目的:個人情報につきましては、本講座の開催目的以外には使用いたしません。
