開催概要
本セミナーは、「Embedded Technology 2011/組込み総合技術展」にて開催する、8部構成セミナーの【第2部】です。
セミナー各部は以下の通りです。
<11月17日(木)>
【 第1部 】 「統合系セミナー1」 (午前)
【 第2部 】 「統合系セミナー2」 (午後)
【 第3部 】 「組込み系セミナー1」 (午後)
【 第4部 】 「セキュリティセンター」 (午後)
<11月18日(金)>
【 第5部 】 「エンタ系セミナー1」 (午前)
【 第6部 】 「エンタ系セミナー2」 (午後)
【 第7部 】 「エンタ系セミナー3」 (午後)
【 第8部 】 「エンタ系セミナー4」 (午後)
 |
講演資料を公開しました。プログラム概要欄よりダウンロードいただけます。 |
 |
セミナー動画を公開しました。プログラム概要欄より視聴いただけます。 |
| 主催： | 社団法人 組込みシステム技術協会(JASA) |
|---|---|
| 共催： | (独)情報処理推進機構 技術本部ソフトウェア・エンジニアリング・センター |
| 開催日時： | 2011年11月17日(木) 13：00～13：55 |
| 開催場所： | パシフィコ横浜 会議センター3階303会議室 〒220-0012 横浜市西区みなとみらい1-1-1 (アクセス) |
| 定員： | 150名 |
| 参加費： | 無料 |
| 配布物： | CD-ROM(SEC BOOKS、SEC journal、報告書のデータを収録) |
* 参加できなくなった場合は、必ずキャンセル処理を行ってください。
* お席に限りがありますので、一部署より多くの方がご参加の場合には調整をおねがい
させていただく場合があります。
* 今回の会場は「パシフィコ横浜 会議センター3階303会議室」となります。
展示会場へご入場の際は、来場者バッジが必要となりますので、当日受付又は、
事前登録をお願いいたします。 （⇒事前登録はこちら）
◇本セミナーは、ITコーディネータ協会(ITCA)に後援をいただいていますので、知識ポイント獲得のチャンスとなります。ITコーディネータの方も奮ってご参加ください。
【ご注意】ポイント認定につきましては、遅刻・早退を認めておりませんので、あらかじめご了承ください。
プログラム
| 時刻 | 概要 |
|---|---|
| 12：30 |
受付開始・開場 | 13:00 ～13:55 |
【講義】 昨今、組込み系ソフトウェアを中心に形式手法を適用する機運が高まっています。しかし、これまでにどのような適用事例があったのかを整理した資料は多くありません。本セミナーでは、IPA/SECからの事例報告書を中心に、国内外の先進的事例が何を達成することを目的に開始され、結果はどうであったかを紹介することにより、形式手法導入が今までどのような結果をもたらしたかを確認します。 |
