FOSE2

セッション「FOSE2」の内容を紹介します.

発表者による宣伝,ご議論などには以下のハッシュタグをご利用下さい.
#jssst2013 #jssst2013fose


FOSE2: 9月13日 15:00〜17:00,工学部2号館2階222号室

1. LTL式で記述されたリアクティブシステム仕様の高速な実現可能性判定器の実装に関する研究(上野篤史)

上野篤史 (東京工業大学大学院)
望月翔平 (東京工業大学大学院)
島川昌也 (東京工業大学大学院)
萩原茂樹 (東京工業大学大学院)
米崎直樹 (東京工業大学大学院)

2. 自己適応システムの安全なコンポーネント置き換え(中島震)

中島震 (国立情報学研究所)

3. DFDを用いた要求仕様の洗練化のためのトレーサビリティ構築と条件の抜け漏れ検出(和田大輝)

和田大輝 ((株) 東芝ソフトウェア技術センター)
弓倉陽介 ((株) 東芝ソフトウェア技術センター)
鷲見毅 ((株) 東芝ソフトウェア技術センター)
藤本宏 ((株) 東芝ソフトウェア技術センター)
村田由香里 ((株) 東芝ソフトウェア技術センター)

4. 人為的欠陥の意味と耐性解析(永藤直行)

永藤直行 (有限会社 プレシステム)
渡部卓雄 (東京工業大学)

FOSE1

セッション「FOSE1」の内容を紹介します.

発表者による宣伝,ご議論などには以下のハッシュタグをご利用下さい.
#jssst2013 #jssst2013fose


FOSE1: 9月13日 9:30〜11:30,工学部2号館2階222号室

特別招待講演:前田 直人

Feedback-Directed Unit Test Generation for C/C++ using Concolic Execution

前田 直人(NEC)

ICSE 2013で発表

ここをクリックして論文の情報を検索

2. DITAを用いたソフトウェアドキュメンテーションにおけるトピックの意味検索手法の提案(坂井麻里恵)

坂井麻里恵 (公立はこだて未来大学大学院)
大場みち子 (公立はこだて未来大学)
伊藤恵 (公立はこだて未来大学)
奥野拓 (公立はこだて未来大学)

3. メソッド抽出リファクタリングが行われるメソッドの特徴調査(後藤祥)

後藤祥 (大阪大学)
吉田則裕 (奈良先端科学技術大学院大学)
藤原賢二 (奈良先端科学技術大学院大学)
崔恩瀞 (大阪大学)
井上克郎 (大阪大学)

4. トピック抽出を用いたソフトウェア開発履歴の可視化ツール(吉田則裕)

山田悠太 (奈良先端科学技術大学院大学)
吉田則裕 (奈良先端科学技術大学院大学)
藤原賢二 (奈良先端科学技術大学院大学)
飯田元 (奈良先端科学技術大学院大学)

一般2

セッション「一般2」の内容を紹介します.

発表者による宣伝,ご議論などには以下のハッシュタグをご利用下さい.
#jssst2013 #jssst2013一般


一般2: 9月11日 15:30〜18:00,工学部2号館1階211号室

特別招待講演:岩崎慶

Interactive Bi-scale Editing of Highly Glossy Materials

岩崎慶(和歌山大学)

SIGGRAPH ASIA 2012で発表

ここをクリックして論文の情報を検索

特別招待講演:土橋宜典

An Inverse Problem Approach for Automatically Adjusting the Parameters for Rendering Clouds Using Photographs

土橋宜典(北海道大学)

SIGGRAPH ASIA 2012で発表

ここをクリックして論文の情報を検索

特別招待講演:井上克巳

Learning Revised Models for Planning in Adaptive Systems

井上克巳(NII)

ICSE 2013で発表

ここをクリックして論文の情報を検索

4. 凹凸付きスマートフォンケースにおけるタッチ精度の評価(深津佳智)

深津佳智 (筑波大学)
箱田博之 (筑波大学)
野口杏奈 (筑波大学)
志築文太郎 (筑波大学)
田中二郎 (筑波大学)

5. 研究活動支援環境におけるスライドリポジトリの実現(武馬賢志郎)

武馬賢志郎 (名古屋工業大学大学院工学研究科情報工学専攻)
白松俊 (名古屋工業大学大学院工学研究科情報工学専攻)
大囿忠親 (名古屋工業大学大学院工学研究科情報工学専攻)
新谷虎松 (名古屋工業大学大学院工学研究科情報工学専攻)