Online edition: ISSN 2432-6380
[TOP] | [2018] | [2019] | [2020] | [2021] | [2022] | [2023] | [2024] | [Japanese] / [English]
KBSE2023-65
Development and Evaluation of a Functional Visual Programming Learning Environment
Kouki Asakawa, Takafumi Tanaka (Tamagawa Univ.)
pp. 1 - 6
KBSE2023-66
Development of a Support System for Unit Testing
Kana Suetake, Takafumi Tanaka (Tamagawa Univ.)
pp. 7 - 12
KBSE2023-67
Analysis of Digital Textbook Leading Logs in Programming Learning for Beginning Programmers
Hatsune Ochiai, Takafumi Tanaka (Tamagawa Univ.)
pp. 13 - 18
KBSE2023-68
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.)
pp. 19 - 24
KBSE2023-69
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)
pp. 25 - 30
KBSE2023-70
Structuring Methods for System Requirements Using Large Language Models
Ryo Nakashima (UTokyo), Masaki Inokuchi, Masaharu Morimoto, Takayuki Kuroda (NEC)
pp. 31 - 36
KBSE2023-71
A Method for Representing Non-Functional Requirements based on Exceptions
Shuichiro Yamamoto (IPUT in Nagoya)
pp. 37 - 42
KBSE2023-72
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.)
pp. 43 - 48
KBSE2023-73
Applying Model Checking to Ethical Judgments
Yoshitaka Aoki, Yotaro Nakayama (BIPROGY)
pp. 49 - 54
KBSE2023-74
Proposal Of Memory Disorder Support Service Linking Voice Dialogue Agent And ChatGPT
Hiro Okamoto, Sinan Chen, Masahide Nakamura (Kobe Univ.), Sachio Saiki (Kochi Univ. of Tech.), Kiyoshi Yasuda (Kobe Univ.)
pp. 55 - 60
KBSE2023-75
A Method to Create Scenario by Large Language Model for Input Amount Simulation
Yusuke Koyama, Shinpei Ogata, Kozo Okano (Shinshu Univ.)
pp. 61 - 66
KBSE2023-76
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)
pp. 67 - 72
KBSE2023-77
Automated Stepwise Policy Design for Stepwise Discrete Controller Synthesis
Takuto Yamauchi (Waseda Univ.), Kenji Tei (Tokyo Tech.), Shinichi Honiden (Waseda Univ.)
pp. 73 - 75
KBSE2023-78
Dynamic update controller synthesis using on-the-fly exploration
Takanori Hirano, Takuto Yamauchi (Waseda Univ.), Kenji Tei (Tokyo Tech.), Shinichi Honiden (NII)
pp. 76 - 78
KBSE2023-79
Reusable Self-Adaptive Intrusion Recovery for Cloud Native Applications
Takumi Ikeda, Takuto Yamauchi (Waseda Univ.), Kenji Tei (Tokyo Tech)
pp. 79 - 81
KBSE2023-80
Priority-based On-the-fly Exploration for Discrete Controller Synthesis
Hiroki Takeuchi, Takuto Yamauchi (Waseda Univ.), Kenji Tei (Tokyo Tech)
pp. 82 - 83
KBSE2023-81
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.)
pp. 84 - 89
KBSE2023-82
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.)
pp. 90 - 95
KBSE2023-83
Implementing Remote Task Execution Service for Hybrid Meeting Spaces
Takeshi Yoshida, Sinan Chen, Masahide Nakamura (Kobe Univ.), SachioSaiki (Kochi Univ. of Tech.)
pp. 96 - 101
KBSE2023-84
An aptitude evaluation method for finding supporters based on occurrence of character strings
Yusuke Hayami, Shiro Ogasawara, Masanobu Sakamoto, Sayaka Yagi, Tomoko Shibata (NTT)
pp. 102 - 107
KBSE2023-85
Research on Automatic Dialogue Correction Considering Character's Distinctive Way of Speaking in Novels
Mei Matsuura, Yutaka Matsuno (Nihon Univ.)
pp. 108 - 113
KBSE2023-86
Evaluation of disaster preparedness awareness through disaster preparedness learning apps that include scenarios with no clear answers.
Takehiro Akiyama, Yutaka Matsuno (Nihon Univ.)
pp. 114 - 119
KBSE2023-87
On Improvement of Variability Model Division Method
Tomoji Kishi (Waseda Univ.)
pp. 120 - 125
KBSE2023-88
An Empirical Study on Self-Admitted Technical Debt in Quantum Software
Yuto Nakamura, Yuta Ishimoto (Kyushu Univ.), Ryota Katsube, Naoto Sato, Hideto Ogawa (Hitachi), Masanari Kondo, Yasutaka Kamei, Naoyasu Ubayashi (Kyushu Univ.)
pp. 126 - 131
KBSE2023-89
Learning data creation support tool for learning program defects using images
Kazuhiko Ogawa, Takako Nakatani (OUJ)
pp. 132 - 137
KBSE2023-90
Bayesian Statistical Analysis of Commit History Data Using WBIC for OSS Evolution Analysis
Toru Sugiyama, Takako Nakatani (OUJ)
pp. 138 - 142
KBSE2023-91
Analysis of numerical simulation modeling support using goal-oriented analysis
Junichi Ichimura, Takako Nakatani (OUJ)
pp. 143 - 148
Note: Each article is a technical report without peer review, and its polished version will be published elsewhere.