Committee |
Date Time |
Place |
Paper Title / Authors |
Abstract |
Paper # |
KBSE |
2024-03-14 09:30 |
Okinawa |
Okinawa Prefectual General Welfare Center (Primary: On-site, Secondary: Online) |
Development and Evaluation of a Functional Visual Programming Learning Environment Kouki Asakawa, Takafumi Tanaka (Tamagawa Univ.) KBSE2023-65 |
[more] |
KBSE2023-65 pp.1-6 |
KBSE |
2024-03-14 09:55 |
Okinawa |
Okinawa Prefectual General Welfare Center (Primary: On-site, Secondary: Online) |
Development of a Support System for Unit Testing Kana Suetake, Takafumi Tanaka (Tamagawa Univ.) KBSE2023-66 |
To develop high-quality software, it is essential that developers possess comprehensive software testing skills. Althoug... [more] |
KBSE2023-66 pp.7-12 |
KBSE |
2024-03-14 10:20 |
Okinawa |
Okinawa Prefectual General Welfare Center (Primary: On-site, Secondary: Online) |
Analysis of Digital Textbook Leading Logs in Programming Learning for Beginning Programmers Hatsune Ochiai, Takafumi Tanaka (Tamagawa Univ.) KBSE2023-67 |
In this study, we developed a digital textbook system called EBook aimed at supporting basic programming learning and co... [more] |
KBSE2023-67 pp.13-18 |
KBSE |
2024-03-14 11:00 |
Okinawa |
Okinawa Prefectual General Welfare Center (Primary: On-site, Secondary: Online) |
Development of an automatic modification system for generated programs using ChatGPT Jun Yoshida, Oh, Hane Kondo (Tokyo Gakugei Univ.), Hiroaki hashiura (NIT), Atsuo Hazeyama (Tokyo Gakugei Univ.) KBSE2023-68 |
[more] |
KBSE2023-68 pp.19-24 |
KBSE |
2024-03-14 11:25 |
Okinawa |
Okinawa Prefectual General Welfare Center (Primary: On-site, Secondary: Online) |
Identification of Business Goals for Generative AI Solution based on GQM+Strategies and Knowledge Distribution Models Hironori Takeuchi (Musashi Univ.), Ralf-Christian Härting (Aalen Univ), Shuichiro Yamamoto (IPUTN) KBSE2023-69 |
[more] |
KBSE2023-69 pp.25-30 |
KBSE |
2024-03-14 11:50 |
Okinawa |
Okinawa Prefectual General Welfare Center (Primary: On-site, Secondary: Online) |
Structuring Methods for System Requirements Using Large Language Models Ryo Nakashima (UTokyo), Masaki Inokuchi, Masaharu Morimoto, Takayuki Kuroda (NEC) KBSE2023-70 |
Recently, there has been increasing interest in automatic design to reduce the costs associated with the development and... [more] |
KBSE2023-70 pp.31-36 |
KBSE |
2024-03-14 13:20 |
Okinawa |
Okinawa Prefectual General Welfare Center (Primary: On-site, Secondary: Online) |
A Method to Describe Non-Functional Requirements by Exceptions Shuichiro Yamamoto (IPUT in Nagoya) KBSE2023-71 |
In order to prevent information system failures, it is not enough to simply define functional requirements; it is necess... [more] |
KBSE2023-71 pp.37-42 |
KBSE |
2024-03-14 13:45 |
Okinawa |
Okinawa Prefectual General Welfare Center (Primary: On-site, Secondary: Online) |
Consideration on System Safety Verification Based on User Personality Traits Ruka Narisawa, Shinpei Ogata (Shinshu Univ.), Yoshitaka Aoki (BIPROGY), Hiroyuki Nakagawa (Osaka Univ.), Kazuki Kobayashi, Kozo Okano (Shinshu Univ.) KBSE2023-72 |
(To be available after the conference date) [more] |
KBSE2023-72 pp.43-48 |
KBSE |
2024-03-14 14:10 |
Okinawa |
Okinawa Prefectual General Welfare Center (Primary: On-site, Secondary: Online) |
Applying Model Checking to Ethical Judgments Yoshitaka Aoki, Yotaro Nakayama (BIPROGY) KBSE2023-73 |
(To be available after the conference date) [more] |
KBSE2023-73 pp.49-54 |
KBSE |
2024-03-14 14:50 |
Okinawa |
Okinawa Prefectual General Welfare Center (Primary: On-site, Secondary: Online) |
Proposal of Memory Disorder Support Service Linking Spoken Dialogue Agent and ChatGPT Hiro Okamoto, Sinan Chen, Masahide Nakamura (Kobe Univ.), Sachio Saiki (Kochi Univ. of Tech.), Kiyoshi Yasuda (Kobe Univ.) KBSE2023-74 |
With Japan's declining birthrate and aging population, and the number of people with dementia increasing, the shortage o... [more] |
KBSE2023-74 pp.55-60 |
KBSE |
2024-03-14 15:15 |
Okinawa |
Okinawa Prefectual General Welfare Center (Primary: On-site, Secondary: Online) |
A Method to Create Scenario by Large Language Model for Input Amount Simulation Yusuke Koyama, Shinpei Ogata, Kozo Okano (Shinshu Univ.) KBSE2023-75 |
One of the means to reasonably reduce the burden of user input to the UI (User Interface) is to introduce usability-enha... [more] |
KBSE2023-75 pp.61-66 |
KBSE |
2024-03-14 15:40 |
Okinawa |
Okinawa Prefectual General Welfare Center (Primary: On-site, Secondary: Online) |
An approach for improving perceived safety in autonomous driving using personalized shielding Ryotaro Abe, Jialong Li, Jinyu Cai (Waseda Univ.), Shinichi Honiden (NII), Kenji Tei (Tokyo Tech) KBSE2023-76 |
This research introduces an innovative Reinforcement Learning (RL) approach tailored for autonomous driving systems, ter... [more] |
KBSE2023-76 pp.67-72 |
KBSE |
2024-03-14 16:20 |
Okinawa |
Okinawa Prefectual General Welfare Center (Primary: On-site, Secondary: Online) |
Automated Stepwise Policy Design for Stepwise Discrete Controller Synthesis Takuto Yamauchi (Waseda Univ.), Kenji Tei (Tokyo Tech.), Shinichi Honiden (Waseda Univ.) KBSE2023-77 |
Discrete Controller Synthesis (DCS) automatically synthesizes a safety-guaranteed behavioral specification for a given o... [more] |
KBSE2023-77 pp.73-75 |
KBSE |
2024-03-14 16:45 |
Okinawa |
Okinawa Prefectual General Welfare Center (Primary: On-site, Secondary: Online) |
Dynamic update controller synthesis using on-the-fly exploration Takanori Hirano, Takuto Yamauchi (Waseda Univ.), Kenji Tei (Tokyo Tech.), Shinichi Honiden (NII) KBSE2023-78 |
In discrete event systems that require continuous operation, it is necessary to update the system without stopping opera... [more] |
KBSE2023-78 pp.76-78 |
KBSE |
2024-03-14 17:10 |
Okinawa |
Okinawa Prefectual General Welfare Center (Primary: On-site, Secondary: Online) |
Reusable Self-Adaptive Intrusion Recovery for Cloud Native Applications Takumi Ikeda, Takuto Yamauchi (Waseda Univ.), Kenji Tei (Tokyo Tech) KBSE2023-79 |
Research is being conducted on self-adaptive technologies that monitor, analyze, plan and execute adaptive actions at ru... [more] |
KBSE2023-79 pp.79-81 |
KBSE |
2024-03-14 17:35 |
Okinawa |
Okinawa Prefectual General Welfare Center (Primary: On-site, Secondary: Online) |
Priority-based On-the-fly Exploration for Discrete Controller Synthesis Hiroki Takeuchi, Takuto Yamauchi (Waseda Univ.), Kenji Tei (Tokyo Tech) KBSE2023-80 |
[more] |
KBSE2023-80 pp.82-83 |
KBSE |
2024-03-15 09:30 |
Okinawa |
Okinawa Prefectual General Welfare Center (Primary: On-site, Secondary: Online) |
Long-Term Fine-grained Forecasts of Emergency Demand Using EMS Big Data and Regional Mesh Population Estimates Kaneda Masaki, Chen Sinan, Nakamura Masahide (Kobe Univ.), SaikiSachio (Kochi Univ. of Tech.) KBSE2023-81 |
[more] |
KBSE2023-81 pp.84-89 |
KBSE |
2024-03-15 09:55 |
Okinawa |
Okinawa Prefectual General Welfare Center (Primary: On-site, Secondary: Online) |
Evaluating Recognition AI and Personal Memories Using Time-Series Images in Daily Activities Raiki Saito, Chen Sinan, Nakamura Masahide (Kobe Univ.), Saiki Sachio (Kochi Univ. of Tech.) KBSE2023-82 |
Japan is facing the challenge of an aging society with a significant increase in the number of dementia patients, making... [more] |
KBSE2023-82 pp.90-95 |
KBSE |
2024-03-15 10:20 |
Okinawa |
Okinawa Prefectual General Welfare Center (Primary: On-site, Secondary: Online) |
Implementing Remote Task Execution Service for Hybrid Meeting Spaces Takeshi Yoshida, Sinan Chen, Masahide Nakamura (Kobe Univ.), SachioSaiki (Kochi Univ. of Tech.) KBSE2023-83 |
This study describes the design and implementation of a smart service for automated management of
hybrid meeting spaces... [more] |
KBSE2023-83 pp.96-101 |
KBSE |
2024-03-15 11:00 |
Okinawa |
Okinawa Prefectual General Welfare Center (Primary: On-site, Secondary: Online) |
An aptitude evaluation method for finding supporters based on occurrence of character strings Yusuke Hayami, Shiro Ogasawara, Masanobu Sakamoto, Sayaka Yagi, Tomoko Shibata (NTT) KBSE2023-84 |
In this paper, we propose a system for identifying workers with sufficient knowledge to solve problems during working, b... [more] |
KBSE2023-84 pp.102-107 |