Wed, Jul 18 AM 09:30 - 10:55 |
|
- |
|
(1) SS |
09:40-10:05 |
Proposal of a usage investigation tool of similar coding pattern |
Koki Ogasawara, Tetsuya Kanda, Katsuro Inoue (Osaka Univ) |
(2) SS |
10:05-10:30 |
|
|
(3) SS |
10:30-10:55 |
An analysis of the impact of temporal changes of developers' activities on the committer candidate prediction model |
Daiki Yamasaki, Masao Ohira, Akinori Ihara, Yutaro Kashiwa, Tomoki Miyazaki (Wakayama Univ.) |
|
10:55-11:05 |
Break ( 10 min. ) |
Wed, Jul 18 AM 11:05 - 12:20 |
(4) SS |
11:05-11:30 |
A Fault Diagnosis of A Distributed Cooperative System by Learning State Transitions |
Yosuke Watanabe (Nagoya Univ.), Shuichi Sato (TCRDL), Hiroyuki Seki, Shoji Yuen (Nagoya Univ.) |
(5) SS |
11:30-11:55 |
Reversible Communicating Systems with Time |
Satoru Yamamoto, Shoji Yuen (Nagoya Univ.) |
(6) SS |
11:55-12:20 |
Application of Model Checking to an STAMP/STPA Example
-- Fallen Barrier Trap at Railroad Crossing -- |
Pan Yang, Rin Karashima, Kozo Okano, Shinpei Ogata (Shinshu Univ.) |
|
12:20-14:00 |
Break ( 100 min. ) |
Wed, Jul 18 PM 14:00 - 15:15 |
(7) KBSE |
14:00-14:25 |
|
|
(8) KBSE |
14:25-14:50 |
A Study of Safety Updating Functionalities for Embedded Systems |
Shinya Tsuchida, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya (Osaka Univ) |
(9) KBSE |
14:50-15:15 |
|
Shu Nagai, Tatsuhiro Tsuchiya (Osaka Univ.) |
|
15:15-15:25 |
Break ( 10 min. ) |
Wed, Jul 18 PM 15:25 - 16:15 |
(10) KBSE |
15:25-15:50 |
Fault-Tolerant Topology determination for IoT network |
Mitsumasa Ota (Waseda Univ.), Ryuichi Takahashi (Ibaraki Univ.), Yoshiaki Fukazawa (Waseda Univ.) |
(11) KBSE |
15:50-16:15 |
Case Study on a Verification of an IoT Architecture Model Based on Control Loop |
Yoshitaka Aoki (NUL), Shinpei Ogata, Kazuki Kobayashi (Shinshu Univ.), Hiroyuki Nakagawa (Osaka Univ.) |
|
16:15-16:25 |
Break ( 10 min. ) |
Wed, Jul 18 PM 16:25 - 17:40 |
(12) |
16:25-16:50 |
|
(13) |
16:50-17:15 |
|
(14) |
17:15-17:40 |
|
Thu, Jul 19 AM 09:30 - 10:45 |
(15) |
09:30-09:55 |
|
(16) |
09:55-10:20 |
|
(17) |
10:20-10:45 |
|
|
10:45-10:55 |
Break ( 10 min. ) |
Thu, Jul 19 AM 10:55 - 12:10 |
(18) |
10:55-11:20 |
|
(19) |
11:20-11:45 |
|
(20) |
11:45-12:10 |
|
|
12:10-14:40 |
Break ( 150 min. ) |
Thu, Jul 19 PM 14:40 - 15:55 |
(21) |
14:40-15:05 |
|
(22) |
15:05-15:30 |
|
(23) |
15:30-15:55 |
|
|
15:55-16:05 |
Break ( 10 min. ) |
Thu, Jul 19 PM 16:05 - 17:20 |
(24) SS |
16:05-16:30 |
|
|
(25) SS |
16:30-16:55 |
|
|
(26) SS |
16:55-17:20 |
Concurrent Execution Semantics of the Functional Programming Language in Continuation Passing Style Based on the Actor Model |
Nagisa Kojima, Kazuyuki Shima, Akio Nakata (Hiroshima City Univ.) |
Fri, Jul 20 AM 09:30 - 10:20 |
(27) |
09:30-09:55 |
|
(28) |
09:55-10:20 |
|
|
10:20-10:30 |
Break ( 10 min. ) |
Fri, Jul 20 AM 10:30 - 12:05 |
(29) KBSE |
10:30-10:55 |
Development and Operation of Services for Open Smart Mobility Markets
-- Architecture Strategy and Service Supply Chain Management -- |
Tsuneo Nakanishi (Fukuoka Univ.), Kenji Hisazumi, Takao Ando, Tsunenori Mine, Akira Fukuda (Kyushu Univ.) |
(30) KBSE |
10:55-11:20 |
An Automated Evaluation Method for Conceptual Data Models Focusing on Appropriateness of Attributes |
Takafumi Tanaka (TUAT), Hiroaki Hashiura (NIT), Atsuo Hazeyama (TGU), Kousuke Mouri, Keiichi Kaneko (TUAT) |
(31) KBSE |
11:20-11:45 |
A study of productivity for agile software development |
Kumi Jinzenji, Daisuke Hamuro (NTT) |
|
- |
|