本文を印刷する

情報処理技術者試験

第2回産学連携のためのソフトウェア・シンポジウム
〜2012年度・2013年度ソフトウェア工学分野の先導的研究支援事業成果から〜

開催情報

   IPA/SECはソフトウェア開発現場での課題解決に資するため、大学・研究機関からソフトウェア工学やソフトウェアの経済的効果に関する研究テーマを公募し、研究を支援して参りました。このたび、2013年度の研究成果の一部がまとまりましたので、広く産業界への普及展開を行うことを目的とし、各大学より研究成果のプレゼンテーションを行います。また、2012年度の研究についても、その後の進展を含めた研究成果のプレゼンテーションを行います。
   大学は実務へ適用できるような研究テーマを設定しており、近い将来、実用化や現場での実証実験等に結びつけることを想定しています。研究内容に対して開発現場等からの意見がフィードバックされることで、今後の情報交換や共同研究など、さらに質の高い研究が進むことを期待しております。
  各研究成果のプレゼンテーション後、各大学との個別ポスターセッションを行います。関心のある研究成果に対する質疑や意見交換などの時間を設けておりますので、奮ってご参加ください。

UP  講演資料を公開しました。プログラム概要欄よりダウンロードいただけます。
  セミナー動画を公開しました。プログラム概要欄より視聴いただけます。

主催 独立行政法人情報処理推進機構 (IPA)
技術本部 ソフトウェア高信頼化センター
開催日時 2014年5月22日(木)13:30〜16:30
開催場所 〒113-0021
東京都文京区本駒込2-28-8 文京グリーンコートセンターオフィス 
17階 会議室A (アクセスマップ
定員 50名
参加費 無料
募集対象 企業および大学関係者

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

プログラム1 オーラルセッション

時刻 概要
13:00 受付
13:30〜
13:35
IPA/SEC所長挨拶

開会の挨拶

IPA/SEC 所長
松本  隆明
13:35〜
13:40
ソフトウェア工学研究推進委員会委員挨拶

開会の挨拶

NTTソフトウェア株式会社 
常勤監査役
寺中  勝美 氏
13:40〜
14:00
抽象化に基づいたUML設計の検証支援ツールの開発(2013年度)

検証モデルの作成をツールによって支援することで、モデル作成の困難さ並びに検証時間の増加といった問題を解決し、組込みソフトウェア開発現場へのモデル検査の導入促進を目指す研究開発

岡山県立大学
情報工学部  情報システム工学科  助教
横川  智教 氏
抽象化に基づいたUML設計の検証支援ツールの開発PDF[1.19MB]


※動画が再生できない場合はこちら
14:00〜
14:20
次世代ソフトウェア信頼性評価技術の開発とその実装(2013年度)

ソフトウェアメトリクス、テスト入出力情報、ソースコード情報からソフトウェアの信頼性を特徴づける情報を抽出し、精度の高い定量的信頼性評価の実現を目指す研究開発

広島大学
大学院  工学研究院  情報部門  教授
土肥  正 氏
次世代ソフトウェア信頼性評価技術の開発とその実装PDF[867KB]


※動画が再生できない場合はこちら
14:20〜
14:40
要件定義プロセスと保守プロセスにおけるモデル検査技術の開発現場への適用に関する研究
(2012年度)

仕様の妥当性を検証するための形式検証技術(モデル検査技術)について、一般的な開発者でも有効利用可能な場面を想定した検証方法及びその支援ツールを研究開発

芝浦工業大学
システム理工学部  電子情報システム学科  教授
松浦  佐江子 氏
要件定義プロセスと保守プロセスにおけるモデル検査技術の開発現場への適用に関する研究PDF[1.99MB]


※動画が再生できない場合はこちら
14:40〜
15:00
実用性が高い形式工学手法と支援ツールの研究開発(2012年度)

要求分析を形式手法で抽象化する際に非形式仕様、半形式仕様、形式仕様の3段階に分け、それぞれの段階の仕様を仮想環境の中で動的に表現(アニメーション化)するツールを研究開発

法政大学
大学院  情報科学研究科  教授
劉  少英 氏
実用性が高い形式工学手法と支援ツールの研究開発PDF[1.07MB]


※動画が再生できない場合はこちら

プログラム2 ポスターセッション

時刻 概要
15:00〜
16:30
ポスターセッション
(岡山県立大学,広島大学,法政大学,芝浦工業大学)

 

参加申込み

締め切り日時:2014年5月21日(水)  17時00分

お申込みは締め切りました。