Wed, Jul 22 PM 13:30 - 15:30 |
(1) |
13:30-14:00 |
|
(2) |
14:00-14:30 |
|
(3) |
14:30-15:00 |
|
(4) |
15:00-15:30 |
|
|
15:30-15:40 |
Break ( 10 min. ) |
Wed, Jul 22 PM 15:40 - 17:40 |
(5) SS |
15:40-16:10 |
Toward Prioritizing Code Smell Detection Results for Prefactoring |
Natthawute Sae-Lim, Shinpei Hayashi, Motoshi Saeki (Tokyo Tech.) |
(6) SS |
16:10-16:40 |
Test Scenario Generation for Web Scenario Testing Using Design Document |
Xiaojing Zhang, Haruto Tanno (NTT) |
(7) SS |
16:40-17:10 |
A Prototype Tool for Logging Operations on Distributed Version Repositories |
Jumpei Matsuda, Shinpei Hayashi, Motoshi Saeki (Tokyo Tech) |
(8) SS |
17:10-17:40 |
A Representation and Visualization Method for Source Code Change Impact Analysis |
Tateo Okubo (Iwate Pref Univ), Kazuya Fukuhara (i-MOS), Youta Haresawa, Toshimitsu Inomata, Yoshikazu Arai, Shintaro Imai (Iwate Pref Univ) |
Thu, Jul 23 AM 09:30 - 10:30 |
(9) SS |
09:30-10:00 |
Dependency Based Factoring |
Takashi Nasu, Munehiro Takimoto (TUS) |
(10) SS |
10:00-10:30 |
A prototype method to identify the applied protection method
-- with the artificiality of the products -- |
Hayato Sagisaka, Haruaki Tamada (KSU) |
|
10:30-10:40 |
Break ( 10 min. ) |
Thu, Jul 23 AM 10:40 - 12:10 |
(11) KBSE |
10:40-11:10 |
Proposal of EMSsec-Common Problem for Security and Privacy |
Takao Okubo (IISEC), Haruhiko Kaiya (Kanagawa Univ.), Hironori Washizaki (Waseda Univ.), Shinpei Ogata (Shinshu Univ.), Yoshio Kakizaki (Dendai Univ.), Atsuo Hazeyama (Tokyo Gakugei Univ.), Nobukazu Yoshioka (NII) |
(12) KBSE |
11:10-11:40 |
A Basic Concept of Real-time Evacuation Planning by Agent-Based Simulation using IoT Sensor Data |
Tadashi Iijima (Keio Univ.) |
(13) KBSE |
11:40-12:10 |
Model Driven Development by Separating Concerns in Requrements Specification |
Satoshi Kawai, Saeko Matsuura (SIT) |
|
12:10-13:10 |
Lunch ( 60 min. ) |
Thu, Jul 23 PM 13:10 - 15:10 |
(14) |
13:10-13:40 |
|
(15) |
13:40-14:10 |
|
(16) |
14:10-14:40 |
|
(17) |
14:40-15:10 |
|
|
15:10-15:20 |
Break ( 10 min. ) |
Thu, Jul 23 PM 15:20 - 17:20 |
(18) SS |
15:20-15:50 |
A Method of Software Reliability Assessment Based on Fault Data Clustering in Cloud Computing Environment with Big Data |
Yoshinobu Tamura (Yamaguchi Univ.), Yumi Nobukawa, Shigeru Yamada (Tottori Univ.) |
(19) SS |
15:50-16:20 |
A Quantitative Investigation of Developers' Comment Description Tendencies in Open Source Development |
Takashi Nakano, Takashi Sasaki, Minoru Kawahara, Hirohisa Aman (Ehime Univ.) |
(20) SS |
16:20-16:50 |
Toward Increasing the Number of Graftable Bugs in Automated Program Repair
-- A Feasibility Study of Approach Using Huge Dataset -- |
Soichi Sumi, Yoshiki Higo, Shinji Kusumoto (Osaka Univ.) |
(21) SS |
16:50-17:20 |
Model Checking for UI Specification of RIA with Data Binding |
Takuya Iwatsuka, Tsuyoshi Oshima, Toshifumi Enomoto (NTT) |
Fri, Jul 24 AM 09:00 - 10:30 |
(22) KBSE |
09:00-09:30 |
A Study on a Formal Verification Method Using Atelier-B |
Ryota Yamamoto, Shuichiro Yamamoto (Nagoya Univ.) |
(23) KBSE |
09:30-10:00 |
A Support Tool for Rule-based Scoring of Class Diagrams in UML Modeling Education |
Kazune Miyajima, Shinpei Ogata, Mizue Kayama, Kozo Okano (Shinshu Univ.) |
(24) SS |
10:00-10:30 |
Detecting Problems of an As-Is Model Using Metrics by an Integrated Goal-Oriented Method |
Shoichiro Ito, Shinpei Hayashi, Motoshi Saeki (Tokyo Tech) |
|
10:30-10:40 |
Break ( 10 min. ) |
Fri, Jul 24 AM 10:40 - 12:10 |
(25) SS |
10:40-11:10 |
Two-Staged Modeling Method with Alloy and Event-B |
Shin Nakajima (NII) |
(26) SS |
11:10-11:40 |
An Equivalent Transformation of Constrained Term Rewriting Systems by Pattern Elimination |
Takahiro Nagao, Naoki Nishida, Masahiko Sakai (Nagoya Univ.) |
(27) SS |
11:40-12:10 |
Applying Model Checking on VDM Models using SPIN |
Hsin-Hung Lin, Yoichi Omori, Shigeru Kusakabe, Keijiro Araki (Kyushu Univ.) |