福岡市主催「先進的組込みソフトウェア技術者育成事業」の 「先進組込み講座」を事業実施 NPO QUESTで開催致します。
～現場で使えるフォーマルメソッド～
ソフトウェアシステムの信頼性保証や機能安全検証などに関してフォーマルメソッドに対する関心と期待が高まっております。この講座では、システムの開発現場でフォーマルメソッドの活用を促進することにより高品質のシステムを効率良く開発するための基礎として、フォーマルメソッドの特質を理解して頂き、実際の適用事例を紹介し、フォーマルメソッドを現場に導入して適用する際のガイドを提示いたします。IC乗車カードやおサイフケータイで使用されている非接触式ICチップを開発しているフェリカネットワークスにおけるフォーマルメソッド適用事例は、国際的にも大いに注目を集めておりますが、この事例などを具体的に交えながらフォーマルメソッド適用の実際について講義いたします。
| 番号 | 項目 | 内容 | 備考 |
| １． | 【主催】/ 【事業実施】 | 福岡市/ 九州組込みソフトウェアコンソーシアム（ＱＵＥＳＴ） | |
| ２. | 【プログラム】 | 1. フォーマルメソッド紹介 1.1 フォーマルメソッドの歴史と特質 1.2 適用事例概観 1.3 最近の動向 2. フォーマルメソッド適用ガイド 2.1 フォーマルメソッドの十戒 (Ten Commandments of Formal Methods) 再考 2.2 具体事例を通して見直す適用ガイドとしての十戒 2.3 フォーマルメソッド適用プロセスモデル | |
| ３. | 【講師】 | 九州大学大学院 システム情報科学研究院 教授 荒木啓二郎 氏 | |
| ４． | 【日時・場所】 | 2009年12月21日（月) 12時30分受付 13時開始-17時終了予定 福岡ソフトリサーチパーク２Ｆ 研修室2 （住所：福岡市早良区百道浜２丁目１番２２号） | |
| ５． | 【定員】 | 20名 | |
| ６． | 【参加費】 | 無料 |
下記URLからお申し込みください。
※お申し込みに際しての注意点※
①参加のお申し込みは，11月30日(月）から受け付けます。
②受付は先着順で行い、定員に達した場合はその時点でお申し込みを
お断りする場合がございますので、お早めのお申し込みをお願いいたします。
「お問い合わせ・ご連絡先」
特定非営利活動法人
九州組込みソフトウェアコンソーシアム
（NPO法人QUEST）
先進的組込みソフトウェア技術者育成事業
運営・企画室
TEL/FAX 092-846-1600
Email register@quest9.org
個人情報利用目的:個人情報につきましては、本講座の開催目的以外には使用いたしません。
