6月30日(木) 午前
09:55 - 12:00 |
| |
09:55-10:00 |
委員長挨拶 （ 5分 ） |
| |
10:00-10:30 |
"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.） |
| |
12:00-13:00 |
昼食 （ 60分 ） |
6月30日(木) 午後
13:00 - 15:00 |
| |
13:00-13:30 |
"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） |
| |
15:00-15:30 |
休憩 （ 30分 ） |
6月30日(木) 午後
15:30 - 17:30 |
| |
15:30-16:00 |
"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 |
| |
10:00-10:30 |
"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.） |
: 
a
-
