HOME社会基盤センターセミナー・イベントセミナー情報IPAセミナー【第3部】

本文を印刷する

社会基盤センター

IPAセミナー【第3部】

開催概要

  本セミナーは、「Embedded Technology2012 組込み総合技術展」にて開催する、9部構成セミナーの【 第3部 】です。

セミナー各部は以下の通りです。
<11月15日(木)>
【 第1部 】 「エンタプライズ系セミナーⅠ」
【 第2部 】 「エンタプライズ系セミナーⅡ」
【 第3部 】 「統合系セミナーⅠ」
【 第4部 】 「統合系セミナーⅡ」
【 第5部 】 「組込みセキュリティセミナー」 

<11月16日(金)>
【 第6部 】 「エンタプライズ系セミナーⅢ」
【 第7部 】 「組込み系セミナーⅠ」
【 第8部 】 「組込み系セミナーⅡ」
【 第9部 】 「組込み系セミナーⅢ」

イベント概要ページへ戻る>>

UP 講演資料を公開しました。プログラム概要欄よりダウンロードいただけます。
主催: 一般社団法人 組込みシステム技術協会(JASA)
共催: 独立行政法人情報処理推進機構
技術本部 ソフトウェア・エンジニアリング・センター
開催日時: 2012年11月15日(木)13:00~14:00
開催場所: パシフィコ横浜 会議センター3階303会議室
〒220-0012 横浜市西区みなとみらい1-1-1 (アクセス)
定員: 150名
参加費: 無料
配布物:
(予定)
・事業成果報告集DVD-ROM

※ 参加できない場合は、必ずキャンセル処理を行ってください。
※お席に限りがありますので、一部署より多くの方がご参加の場合には調整をお願いさせていただく場合があります。
※配布物は変更になる可能性があります。

※今回の会場は「パシフィコ横浜 会議センター3階 303会議室」となります。
展示会場へご入場の際は、来場者バッジが必要となりますので、当日受付又は、事前登録をお願いいたします。


ITコーディネータの方へ
本セミナーは、ITコーディネータ協会(ITCA)に後援をいただいていますので、知識ポイント獲得の機会となります。ITコーディネータの方も奮ってご参加ください。
ポイント認定につきましては、遅刻・早退を認めておりませんので、あらかじめご了承ください。
出席証明書はセミナー受付時にお渡ししますのでお申し出ください。  
セミナー終了後、事務局確認印を押印いたします。
氏名、ITC資格No.をご記入の上、受付にお越しください。
(事務局確認印が無い場合、ポイントは無効です)

プログラム

時刻 概要
12:30
受付開始

13:00
~14:00

【 第3部 】統合系セミナーⅠ

成功した形式手法導入調査例の分析とそこからの発見
~如何に形式手法は導入されたか?~

2012年1月から5月、形式手法の実際的な適用方法を探るために、IPA/SECの委託により、欧州ならびに日本国内で、形式手法を成功裡に導入した「実プロジェクト」複数の聞き取り調査が行われました。例えば成功したプロジェクトではいずれも、以下のような共通点が見受けられました。
(1)全ライフサイクルを通しての仕様の位置付け
(2)自然言語と形式言語の役割分担
(3)要員教育、等。

本発表ではこうした調査結果に、講師の形式手法導入コンサルティングの経験を重ねて導入と活用のポイントを解説します。

上流品質技術部会/厳密な仕様記述WG委員
有限会社デザイナーズ・デン 代表取締役
酒匂 寛 氏
講演資料ダウンロードPDF[5.1MB]]