Committee |
Date Time |
Place |
Paper Title / Authors |
Abstract |
Paper # |
KBSE |
2023-03-16 14:00 |
Hiroshima |
JMS ASTERPLAZA (Primary: On-site, Secondary: Online) |
Dependency modeling between subsystems based on management data Takuya Saruwatari (NTTDATA) KBSE2022-54 |
In a system composed of multiple subsystems, it is possible that different subsystems within the system manage the same ... [more] |
KBSE2022-54 pp.1-6 |
KBSE |
2023-03-16 14:35 |
Hiroshima |
JMS ASTERPLAZA (Primary: On-site, Secondary: Online) |
Modeling of Problem-Solving Knowledge for Machine Learning Projects Hironori Takeuchi (Musashi Univ.), Shuichiro Yamamoto (NPUT) KBSE2022-55 |
[more] |
KBSE2022-55 pp.7-12 |
KBSE |
2023-03-16 15:10 |
Hiroshima |
JMS ASTERPLAZA (Primary: On-site, Secondary: Online) |
Traceability Management Method based on Informal/Semi-formal Hybrid Notation Ryoji Okada, Yoshihiro Ohama, Seigo Ito (TCRDL) KBSE2022-56 |
For traceability management of design specification in software and system designing, methods using informal notation, o... [more] |
KBSE2022-56 pp.13-18 |
KBSE |
2023-03-16 15:55 |
Hiroshima |
JMS ASTERPLAZA (Primary: On-site, Secondary: Online) |
Development and Experiment of Remote Play System for Universal Sports Yuuto Kanai, Fumihiro Kumeno, Hidemi Yamachi (NIT) KBSE2022-57 |
[more] |
KBSE2022-57 pp.19-24 |
KBSE |
2023-03-16 16:20 |
Hiroshima |
JMS ASTERPLAZA (Primary: On-site, Secondary: Online) |
Hint Recommendation Method for learning Pythonic List Comprehension Yu Imamoto, Erina Makihara, Yuto Shimazaki, Keiko Ono (Doshisha Univ.) KBSE2022-58 |
In recent years, the demand for Python in development and research has been increasing.
In response, the Pythonic notat... [more] |
KBSE2022-58 pp.25-30 |
KBSE |
2023-03-16 16:45 |
Hiroshima |
JMS ASTERPLAZA (Primary: On-site, Secondary: Online) |
A type preview tool in Python for beginner programmers Masaki Tomoike, Kentaro Okino, Masanari Kondo, Yasutaka Kamei, Naoyasu Ubayashi (Kyushu Univ.) KBSE2022-59 |
(To be available after the conference date) [more] |
KBSE2022-59 pp.31-36 |
KBSE |
2023-03-17 09:30 |
Hiroshima |
JMS ASTERPLAZA (Primary: On-site, Secondary: Online) |
Deepening relationship between system thinking and requirements engineering during the evolution of information systems Shuichiro Yamamoto (IPUT in Nagoya) KBSE2022-60 |
[more] |
KBSE2022-60 pp.37-42 |
KBSE |
2023-03-17 10:05 |
Hiroshima |
JMS ASTERPLAZA (Primary: On-site, Secondary: Online) |
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.) KBSE2022-61 |
[more] |
KBSE2022-61 pp.43-48 |
KBSE |
2023-03-17 10:40 |
Hiroshima |
JMS ASTERPLAZA (Primary: On-site, Secondary: Online) |
Verification of Interaction between Functions in FRAM using Model Checking Yoshitaka Aoki (BIPROGY), Kenji Hisazumi (Shibaura Inst. of Tech.) KBSE2022-62 |
Analysis of FRAM models tends to rely on the domain knowledge of analysts, and it is difficult for anyone to evaluate co... [more] |
KBSE2022-62 pp.49-54 |
KBSE |
2023-03-17 11:15 |
Hiroshima |
JMS ASTERPLAZA (Primary: On-site, Secondary: Online) |
KBSE2022-63 |
(To be available after the conference date) [more] |
KBSE2022-63 pp.55-60 |
KBSE |
2023-03-17 12:50 |
Hiroshima |
JMS ASTERPLAZA (Primary: On-site, Secondary: Online) |
On Family-based Model Checking based on Probabilistic Model Checker Tomoji Kishi (Waseda Univ) KBSE2022-64 |
Family-based model checking is a technique to verify the properties of multiple product variations at once by performing... [more] |
KBSE2022-64 pp.61-66 |
KBSE |
2023-03-17 13:25 |
Hiroshima |
JMS ASTERPLAZA (Primary: On-site, Secondary: Online) |
A Note on Optimal Testcase Generation in Boundary Value Analysis Xiujing Guo, Hiroyuki Okamura, Tadashi Dohi (Hiroshima Univ.) KBSE2022-65 |
In software testing, a protective measure to prevent faults in the code is to ensure that the behavior on the boundary b... [more] |
KBSE2022-65 pp.67-72 |
KBSE |
2023-03-17 14:10 |
Hiroshima |
JMS ASTERPLAZA (Primary: On-site, Secondary: Online) |
Analyzing Business Processes by Automatically Detecting KPI Thresholds Based on Trace Variants Taro Takei, Hiroki Horita (Ibaraki Univ.) KBSE2022-66 |
One method for analyzing complex business processes is to filter event logs by KPI thresholds to extract only specific p... [more] |
KBSE2022-66 pp.73-78 |
KBSE |
2023-03-17 14:35 |
Hiroshima |
JMS ASTERPLAZA (Primary: On-site, Secondary: Online) |
Development of Co-Analysis Support Tool by Linking Simulink and SMT Solver Engielista Anak Norman, Yoshikazu Ueda (Ibaraki Univ.) KBSE2022-67 |
In order to target various models in co-analysis, it is necessary to be able to select the SMT solver according to the c... [more] |
KBSE2022-67 pp.79-84 |
KBSE |
2023-03-17 15:00 |
Hiroshima |
JMS ASTERPLAZA (Primary: On-site, Secondary: Online) |
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.) KBSE2022-68 |
(To be available after the conference date) [more] |
KBSE2022-68 pp.85-90 |
KBSE |
2023-03-17 15:25 |
Hiroshima |
JMS ASTERPLAZA (Primary: On-site, Secondary: Online) |
Study of the Impact of Activity Status on OSS Project Continuation/Interruption Yuga Kikuchi, Yoshikazu Ueda (Ibaraki Univ.) KBSE2022-69 |
Open source software (OSS) has been used by companies in recent years. However, the development of OSS can be subject to... [more] |
KBSE2022-69 pp.91-96 |