IEICE Technical Report

Online edition: ISSN 2432-6380

Knowledge-Based Software Engineering

Workshop Date : 2026-03-19 - 2026-03-20 / Issue Date : 2026-03-12

KBSE2025-50
A Study on the Identification of System Elements with the Oracle Problem and Their Representation
Takuya Saruwatari (IPUTN)
pp. 1 - 6

KBSE2025-51
Application of MDP and Model Checking for Moral Decision-Making
Yoshitaka Aoki, Yotaro Nakayama (BIPROGY)
pp. 7 - 12

KBSE2025-52
Enhancing Cooking Task Monitoring Accuracy by Weighting Important Words in Recipe Texts with CLIP Model
Rina Tagami, Yuma Hara, Hiroki Kobayashi, Shuichi Akizuki, Manabu Hashimoto (Chukyo Univ.)
pp. 13 - 18

KBSE2025-53
Proposal of CEDS: a Dynamic Thinking Strategy Model based on Bipolar Thinking Continuum
Shuichiro Yamamoto (IPUT in Nagoya)
pp. 19 - 24

KBSE2025-54
PERC: Bi-pole Thinking Continuum between Integration and Division
Shuichiro Yamamoto (IPUT in Nagoya)
pp. 25 - 30

KBSE2025-55
Iterative refinement of cell entity annotation using transposed tables and unsupervised scroing
Yuuki Tachioka, Yasunori Terao (Denso IT Laboratory)
pp. 31 - 36

KBSE2025-56
Field Trial of MemoMeal: A Self-Assessment Service for Cognitive Memory Abilities Using Meal Records Among Older Adults
Yousuke Oshima, Takuya Nakata, Sinan Chen (Kobe Univ.), Sachio Saiki (Kochi Univ. of Tech.), Kosuke Masuda (Nagasaki yuai Hospital), Yuta Tsuyuzaki (Oyumino Central Hospital), Kiyoshi Yasuda, Masahide Nakamura (Kobe Univ.)
pp. 37 - 44

KBSE2025-57
Personalized Home Automation Service Supporting Elderly People Living Alone -- Requirement Extraction via Dialogue and Control Schedule Generation --
Ryota Murate, Akinori Matsukawa, Takuya Nakata, Chen Sinan, Kiyoshi Yasuda, Masahide Nakamura (Kobe Univ.)
pp. 45 - 51

KBSE2025-58
Development of "Motteko" a Personal Preparation Support Service to Prevent Forgotten Belongings When Going Out
Takashi Kamiya, Takuya Nakata (Kobe Univ.), Kosuke Masuda (Nagasaki yuai Hospital), Yuuta Tsuyuzaki (Oyumino Central Hospital), Chen Sinan, Kiyoshi Yasuda, Masahide Nakamura (Kobe Univ.)
pp. 52 - 59

KBSE2025-59
Implementation of a Stroke-Tagging Function for Automated Scoring of Drawing Tests Using EVIDENT2.0
Keisuke Yoshida (Kobe Univ.), Sachio Saiki (Kochi Univ. of Tech), Atsushi Sato (Yoshida Hospital), Naoki Kodama (Niigata Univ. of Health and Welfare), Masahide Nakamura (Kobe Univ.)
pp. 60 - 65

KBSE2025-60
Evaluating the Feasibility of Local LLMs for Information Extraction from Handwritten Forms
Futa Sasaki, Sinan Chen (Kobe Univ.), Sachio Saiki (KUT), Masahide Nakamura (Kobe Univ.)
pp. 66 - 72

KBSE2025-61
Depth-Based High-Precision 3D Scene Reconstruction from a Single Monocular Image -- Object-Based Approach Using Generative AI --
Masami Iwatsuki, Mizuki Watanabe (Hosei Univ.)
pp. 73 - 78

KBSE2025-62
Development and evaluation of the university student support app MUM
Tadateru Morichika, Tatsuya Yoshinaga, Minami Yoda, Yutaka Matsuno (Nihon Univ.)
pp. 79 - 84

KBSE2025-63
Research on an automatic generation system for stakeholder-specific Safety Document using RAG
Hayato Kato, Minami Yoda, Yutaka Matsuno (Nihon Univ.)
pp. 85 - 90

KBSE2025-64
Evaluating Generative AI Programming Learning with a Prompt Analysis Tool
Naru Shinada, Hana Kataoka (Nihon Univ.), Jialong Li (Waseda Univ.), Minami Yoda, Yutaka Matsuno (Nihon Univ.)
pp. 91 - 96

KBSE2025-65
Proposal for a Visual Organization Tool to Support the Integration of Loss Scenarios in STAMP/STPA -- Implementation of Structuring and Hierarchical Functions Using astah* System Safety --
Gyoto Yonemoto, Yutaka Matsuno (Nihon Univ.), Toshinori Takai (NAIST), Keishi Okamoto (NIT, Sendai College)
pp. 97 - 102

KBSE2025-66
SI Document Review Assistant based on Generative AI-Driven Guideline Conformance Check Tool
Ryosuke Hotchi, Masaki Inokuchi (NEC)
pp. 103 - 108

KBSE2025-67
Document Structure Based Requirements Traceability Checking
Shunsuke Osaki, Matsuda Katsushi, Inokuchi Masaki (NEC)
pp. 109 - 114

KBSE2025-68
Toward A Stakeholder-centric Goal Modeling Method for Requirements Analysis in Requirements Specifications
Momoe Kobayashi, Takashi Kobayashi (Science Tokyo), Takako Nakatani (OUJ)
pp. 115 - 120

KBSE2025-69
Application of LTL Safety Verification to Plans Generated by Edge-Oriented LLMs
Ryoya Koyama (Science Tokyo), Zhiyao Wang (UOsaka), Jialong Li (Waseda Univ.), Kenji Tei (Science Tokyo)
pp. 121 - 125

KBSE2025-70
Defending Against Dynamic Poisoning Attacks in Federated Learning via Sliding Window Upper Confidence Bound
Chenyu Hu, Yusei Ishimizu (Science Tokyo), Jialong Li (Waseda Univ), Kenji Tei (Science Tokyo)
pp. 126 - 129

KBSE2025-71
Evaluation of Training Environments and Generalization Performance of RL-based Exploration Policies for On-the-fly Controller Synthesis
Yusei Ishimizu (Science Tokyo), Toshihide Ubukata (Waseda Univ.), Enhong Mu (SWU), Jialong Li (Waseda Univ.), Kenji Tei (Science Tokyo)
pp. 130 - 134

Note: Each article is a technical report without peer review, and its polished version will be published elsewhere.

The Institute of Electronics, Information and Communication Engineers (IEICE), Japan