| 電子情報通信学会 研究会発表申込システム 研究会 開催プログラム |
技報閲覧サービス [ログイン] 技報アーカイブ |
| トップ | 戻る | 前のSS研究会 / 次のSS研究会 | [HTML] / [HTML(simple)] / [TEXT] | [Japanese] / [English] |
|
★ソフトウェアサイエンス研究会（SS） 専門委員長 関 浩之 (奈良先端大) 副委員長 中島 震 (NII) 幹事 高田 喜朗 (高知工科大)， 満田 成紀 (和歌山大) 幹事補佐 鷲崎 弘宜 (早大) 日時 2011年 6月30日(木) 09：55～17：30 2011年 7月 1日(金) 10：00～12：00 会場 高麗大学（Anam-dong, Seongbuk-gu Seoul, 136-713 Korea．下記Webページをご参照ください．http://www.info.kochi-tech.ac.jp/sigss/programs/2011-06-trans.txt．Prof. Sungdeok Cha (College of Inf. & Commun.) (日本側世話人: 中島震(NII))） 議題 学生セッション（予稿・発表とも英語） 6月30日(木) 午前 （09：55～12：00） −−− 委員長挨拶 （ 5分 ） −−− −−− "A Cost-Driven Hardware/Software Co-Design Lifecycle Transition Model," Dong-Hyun Lee, Hoh Peter In (Korea University) （ 30分 ） −−− (1) 10:30 - 11:00 An Extention of DynAlloy with Concurrency ○Takuya Iwatsuka・Shoji Yuen（Nagoya Univ.） (2) 11:00 - 11:30 Verification of BPEL Workflows Design using Model Checking ○Ryosuke Nakashiro・Yasutaka Kamei・Naoyasu Ubayashi（Kyushu Univ.）・Shin Nakajima（NII）・Akihito Iwai（Denso） (3) 11:30 - 12:00 An Introduction of a Formal Method in PBL: A Case Report ○Shinya Yamada・Tomohiro Iwamoto・Tsunayuki Shinozawa・Mitsuhide Honda・Ryo Miyashita（Kyushu Univ.）・Takashi Iwasaki・Yasuo Inoue（FUJITSU QNET）・Keijiro Araki・Shigeru Kusakabe・Yoichi Omori（Kyushu Univ.） −−− 昼食 （ 60分 ） −−− 6月30日(木) 午後 （13：00～15：00） −−− "TMO-based Automatic Code Generator for Real-time Embedded Software," Ho-Dong Ryu, Woojin Lee (Kyungbuk National University) （ 30分 ） −−− (4) 13:30 - 14:00 Static Analysis for k-secrecy against Inference Attacks ○Chittaphone Phonharath・Kenji Hashimoto・Hiroyuki Seki（NAIST） (5) 14:00 - 14:30 ReceiptLog: A Consumer-Oriented Lifelog Service for Storing and Reviewing Daily Receipts ○Seiki Tokunaga・Shinsuke Matsumoto・Masahide Nakamura（Kobe Univ.） (6) 14:30 - 15:00 Evaluating Lifelog Common Data Model and Mashup API through Practical Application Development ○Akira Shimojo・Shinsuke Matsumoto・Masahide Nakamura（Kobe Univ） −−− 休憩 （ 30分 ） −−− 6月30日(木) 午後 （15：30～17：30） −−− "Generating Model of Reactive System through LTL Synthesis," Ryoungkwo Kwon, Gihwon Kwon (Kyonggi University) （ 30分 ） −−− (7) 16:00 - 16:30 A Prototype of Comparison Tool for Android Applications Based on Difference of API Calling Sequences ○Tetsuya Kanda・Yuki Manabe・Takashi Ishio・Makoto Matsushita・Katsuro Inoue（Osaka Univ.） (8) 16:30 - 17:00 A Tool For Detecting Duplicated Test Code Based On Test Coverage to Assist TDD ○Kazunori Sakamoto（Waseda Univ.）・Takuto Wada（Towers Quest）・Hironori Washizaki・Yoshiaki Fukazawa（Waseda Univ.） (9) 17:00 - 17:30 Evaluating Habituation Effect on Conversational Voice Control in Home Network System ○Noriyuki Matsubara・Shinsuke Matsumoto・Masahide Nakamura（Kobe Univ.） 7月1日(金) 午前 （10：00～12：00） −−− "A Scalable Distributed Concolic Testing Approach," Youngjoo Kim, Moonzoo Kim (KAIST) （ 30分 ） −−− (10) 10:30 - 11:00 Finding Code Clones for Refactoring with Clone Metrics: A Case Study of Open Source Software ○Eunjong Choi（Osaka Univ.）・Norihiro Yoshida（NAIST）・Takashi Ishio・Katsuro Inoue（Osaka Univ.）・Tateki Sano（NEC） (11) 11:00 - 11:30 An Approach to Investigating How a Lack of Software Refactoring Effects Defect Density ○Kenji Fujiwara・Kyohei Fushida・Norihiro Yoshida・Hajimu Iida（NAIST） (12) 11:30 - 12:00 Preliminary Assessment of Software Metrics based on Coding Standards Violations ○Yasunari Takai・Takashi Kobayashi・Kiyoshi Agusa（Nagoya Univ.） 一般講演：発表 20 分 ＋ 質疑応答 10 分 ◆Joint Workshop on Software Science and Engineering共催 ☆SS研究会今後の予定 [ ]内発表申込締切日 7月29日(金)～30日(土) 北海道情報大学 [5月19日(木)] テーマ：一般 【問合先】 高田喜朗(高知工科大) TEL 0887-57-2207 FAX 0887-57-2220 E-mail:      a    -  ◎最新の情報はSIGSS研究会ホームページでご確認ください． http://www.info.kochi-tech.ac.jp/sigss/ Last modified: 2011-06-28 14:32:21 |
ご注意： 迷惑メール対策のためメールアドレスの一部の文字を置換しております．ご了承ください．
[この開催に関する講演論文リストをダウンロードする] ※ こちらのページの最下にあるダウンロードボタンを押してください
[研究会資料インデックス(vol. no.ごとの表紙と目次)]
[研究会発表・参加方法，FAQ] ※ ご一読ください
[SS研究会のスケジュールに戻る] /
| トップ | 戻る | 前のSS研究会 / 次のSS研究会 | [HTML] / [HTML(simple)] / [TEXT] | [Japanese] / [English] |
[研究会発表申込システムのトップページに戻る]