Thu, Mar 16 PM 13:55 - 15:55 |
(1) |
13:55-14:00 |
|
(2) |
14:00-14:35 |
Dependency modeling between subsystems based on management data |
Takuya Saruwatari (NTTDATA) |
(3) |
14:35-15:10 |
Modeling of Problem-Solving Knowledge for Machine Learning Projects |
Hironori Takeuchi (Musashi Univ.), Shuichiro Yamamoto (NPUT) |
(4) |
15:10-15:45 |
Traceability Management Method based on Informal/Semi-formal Hybrid Notation |
Ryoji Okada, Yoshihiro Ohama, Seigo Ito (TCRDL) |
|
15:45-15:55 |
Break ( 10 min. ) |
Thu, Mar 16 PM 15:55 - 17:10 |
(5) |
15:55-16:20 |
Development and Experiment of Remote Play System for Universal Sports |
Yuuto Kanai, Fumihiro Kumeno, Hidemi Yamachi (NIT) |
(6) |
16:20-16:45 |
Hint Recommendation Method for learning Pythonic List Comprehension |
Yu Imamoto, Erina Makihara, Yuto Shimazaki, Keiko Ono (Doshisha Univ.) |
(7) |
16:45-17:10 |
A type preview tool in Python for beginner programmers |
Masaki Tomoike, Kentaro Okino, Masanari Kondo, Yasutaka Kamei, Naoyasu Ubayashi (Kyushu Univ.) |
Fri, Mar 17 AM 09:30 - 12:50 |
(8) |
09:30-10:05 |
Deepening relationship between system thinking and requirements engineering during the evolution of information systems |
Shuichiro Yamamoto (IPUT in Nagoya) |
(9) |
10:05-10:40 |
Towards reducing the risk of OSS adoption with survival analysis |
Kazushi Tomoto, Hiroki Kuramoto (Kyushu Univ.), Shinobu Saito, Yukako Iimura (NTT), Masanari Kondo, Yasutaka Kamei, Naoyasu Ubayashi (Kyushu Univ.) |
(10) |
10:40-11:15 |
Verification of Interaction between Functions in FRAM using Model Checking |
Yoshitaka Aoki (BIPROGY), Kenji Hisazumi (Shibaura Inst. of Tech.) |
(11) |
11:15-11:50 |
|
|
|
11:50-12:50 |
( 60 min. ) |
Fri, Mar 17 PM 12:50 - 14:10 |
(12) |
12:50-13:25 |
On Family-based Model Checking based on Probabilistic Model Checker |
Tomoji Kishi (Waseda Univ) |
(13) |
13:25-14:00 |
A Note on Optimal Testcase Generation in Boundary Value Analysis |
Xiujing Guo, Hiroyuki Okamura, Tadashi Dohi (Hiroshima Univ.) |
|
14:00-14:10 |
Break ( 10 min. ) |
Fri, Mar 17 PM 14:10 - 15:55 |
(14) |
14:10-14:35 |
Analyzing Business Processes by Automatically Detecting KPI Thresholds Based on Trace Variants |
Taro Takei, Hiroki Horita (Ibaraki Univ.) |
(15) |
14:35-15:00 |
Development of Co-Analysis Support Tool by Linking Simulink and SMT Solver |
Engielista Anak Norman, Yoshikazu Ueda (Ibaraki Univ.) |
(16) |
15:00-15:25 |
Investigating the Impact of Input Data Order on Automatic Code Generation with GitHub Copilot |
Kotaro Noguchi, Kei Koyanagi, Masanari Kondo, Yasutaka Kamei, Naoyasu Ubayashi (Kyushu Univ.) |
(17) |
15:25-15:50 |
Study of the Impact of Activity Status on OSS Project Continuation/Interruption |
Yuga Kikuchi, Yoshikazu Ueda (Ibaraki Univ.) |
(18) |
15:50-15:55 |
|