IEICE Technical Report

Online edition: ISSN 2432-6380

Volume 126, Number 126

Knowledge-Based Software Engineering

Workshop Date : 2026-07-22 - 2026-07-24 / Issue Date : 2026-07-15

[PREV] [NEXT]

[TOP] | [2020] | [2021] | [2022] | [2023] | [2024] | [2025] | [2026] | [Japanese] / [English]

[PROGRAM] [BULK PDF DOWNLOAD]


Table of contents

KBSE2026-1
Supporting Organizational Metacognition Activation through Capturing Individual Members' Work-Related Metacognitive Knowledge
Tomoki Aburatani (Osaka Metropolitan Univ.), Motoshi Kanke, Rihito Morone, Naoya Henmi (Plainnovation)
pp. 1 - 6

KBSE2026-2
Proposal for a multidimensional analysis method of system risk based on inconsistencies -- Mutual analysis of QAP (Quality, Architecture, Process) and four aspects (Social, Affective, Functional, and Epistemic) --
Shuichiro Yamamoto (IPUT in Nagoya)
pp. 7 - 12

KBSE2026-3
Designing Knowledge Resonance and Metabolism with the SKP Architecture
Shuichiro Yamamoto (IPUT in Nagoya)
pp. 13 - 18

KBSE2026-4
A Method for Detecting Abnormal Behavior of Farmed Fish Schools Using Long-Exposure Imaging
Rei Shirakawa (Ibaraki Univ.), Takeru Tsuburaya, Kaho Miyazaki, Tsubasa Nakamura (Umios), Ryuichi Takahashi (Ibaraki Univ.)
pp. 19 - 24

KBSE2026-5
Smartwatch Text Input Deigned to Improve Visibility Using AR Display
Yuzuka Kawahara, Ryuichi Takahashi (Ibaraki Univ)
pp. 25 - 30

KBSE2026-6
Supporting Data Understanding of In-house Business Data by an AI Agent
Tomohiro Matsunaga, Hiroki Asakimori, Satoru Yamada, Rihito Yaegashi, Yusuke Kometani (Kagawa University)
pp. 31 - 36

KBSE2026-7
An Evaluation Window Model for Assessing Innovation in Software Development under Uncertainty
Kumi Jinzenji (NTT)
pp. 37 - 42

KBSE2026-8
An Empirical Investigation of Mobile Serious Games for Programming Education
Tsubasa Ogasawara (Science Tokyo), Minami Yoda (NU), Jialong Li (Science Tokyo), Yutaka Matsuno (NU), Kenji TEI (Science Tokyo)
pp. 43 - 48

KBSE2026-9
Learning Support Using Awareness Control in a VR Programming Classroom
Ryu Tamagawa, Hidekazu Shiozawa, Takafumi Tanaka (Tamagawa Univ)
pp. 49 - 54

KBSE2026-10
Learning Effects of Animation-Based Visualization of Program Behavior for Programming Learning
Taiki Yanagiuchi, Hidekazu Shiozawa, Takafumi Tanaka (Tamagawa Univ)
pp. 55 - 60

KBSE2026-11
A Learning Support System Focusing on Code Componentization and Component Behavior
Taiyo Hamada, Hidekazu Shiozawa, Takafumi Tanaka (Tamagawa Univ)
pp. 61 - 66

KBSE2026-12
Prototyping a Scaffolded Modeling Tool toward Learning Support for Class and Object Diagrams
Reiya Takizawa, Shinpei Ogata (Shinshu Univ.), Erina Makihara (Ritsumeikan Univ.), Kozo Okano (Shinshu Univ.)
pp. 67 - 72

KBSE2026-13
Delta-algebra: A formal transformation method for object-oriented designs based on reference structures
Shohei Yamagiwa, Naoya Nitta (Konan Univ.)
pp. 73 - 78

KBSE2026-14
A Comparison of the Robustness of Four Optimization Algorithms in the CNN Model
Kazuki Sato, Kozo Okano, Shinpei Ogata (Shinsyu Univ.), Shin Nakajima (NII)
pp. 79 - 84

KBSE2026-15
Evaluation experiment on the defensive effect of Differential Privacy against Model Inversion Attacks on transfer learning models
Aoki Koshiro, Kozo Okano, Shinpei Ogata (Shinshu Univ.), Shin Nakajima (NII)
pp. 85 - 90

KBSE2026-16
A Validation Method for LTL Formulas Generated by LLM -- Evaluation Based on Confidence Score and Cosine Similarity --
Shutaro Ouchi, Yuta Wada, Hisashi Mori, Masaaki Takeyasu (MELCO)
pp. 91 - 96

KBSE2026-17
An Empirical Study on Permission Management Mechanisms in Open-Source LLM Agent Frameworks
Ryuta Aoyagi (Science Tokyo), Youmei Fan (NAIST), Jialong Li (Waseda Univ.), Kenji Tei (ScienceTokyo)
pp. 97 - 102

KBSE2026-18
Evaluation of Rationale Extraction from Chat Logs Using Large Language Models
Sonosuke Noguchi, Hidekazu Shiozawa, Takafumi Tanaka (Tamagawa Univ)
pp. 103 - 108

KBSE2026-19
An Analysis of Funding and Its Impact on Development Activities in Open Source Projects
Gakushi Kimura, Olivier Nourry, Yoshiki Higo (UOsaka)
pp. 109 - 114

KBSE2026-20
Reproducibility of Bugs4Q under Framework Evolution: Toward Supporting Quantum Program Migration
Haruto Ohto, Yuta Ishimoto, Shinsuke Matsumoto, Shinji Kusumoto (UOsaka)
pp. 115 - 120

KBSE2026-21
(See Japanese page.)
pp. 121 - 126

KBSE2026-22

Mao Kuroda, Profir-Petru Partachi, Takashi Kobayashi (Science Tokyo)
pp. 127 - 132

KBSE2026-23
Identifying Undetected Clone Pairs Using the Transitional Relationships of Detected Clone Pairs
Ryosuke Ishimura, Yoshiki Higo (UOsaka)
pp. 133 - 138

KBSE2026-24
(See Japanese page.)
pp. 139 - 144

KBSE2026-25
(See Japanese page.)
pp. 145 - 150

KBSE2026-26
Enhancing SBFL Ranking via Causal Inference Using Dynamic Dependency Analysis
Masaya Ezaki, Takashi Kobayashi (Science Tokyo)
pp. 151 - 156

KBSE2026-27
Evaluating Coding Agents for Refactoring Under Project-Specific Conventions
Kaito Shigyo, Masanari Kondo, Yasutaka Kamei (Kyushu Univ.)
pp. 157 - 162

KBSE2026-28
A Runtime DCS-Based Mechanism for Progressive ODD Degradation -- An Implementation on Lingua Franca with an ADAS Case Study --
Yusei Ishimizu, Toshihide Ubukata (Science Tokyo), Jialong Li (Waseda Univ.), Kenji Tei (Science Tokyo)
pp. 163 - 168

KBSE2026-29
Improving the Efficiency of Stepwise Controller Synthesis by Avoiding Ineffective Minimisation
Tomoki Yamaguchi (Science Tokyo), Takuto Yamauchi (Waseda Univ.), Kenji Tei (Science Tokyo)
pp. 169 - 172

KBSE2026-30
Supporting the Understanding of Accessibility Violation Using User Reviews
Ryoya Koyama (Science Tokyo), Zhiyao Wang (UOsaka), Jialong Li (Waseda Univ.), Tatsuhiro Tsuchiya (UOsaka), Kenji Tei (Science Tokyo)
pp. 173 - 178

KBSE2026-31
Structural Analysis of Graduate School Courses Using DX Promotion Skill Standard as an Analytical Framework -- A Case Study of the Information Systems and Security and Information Society Unit of the Graduate School of Sciences for Innovation, Kagawa University. --
Hiroki Asakimori, Toru Kuga, Satoru Yamada, Yusuke Kometani, Rihito Yaegashi (Kagawa Univ.)
pp. 179 - 184

KBSE2026-32
Interactive Visualization for Supporting Decision-Making in the Fire Station Relocation Problem
Shota Fukuda, Takuya Nakata, Sinan Chen (Kobe Univ.), Sachio Saiki (Kochi Univ. of Tech.), Masahide Nakamura (Kobe Univ.)
pp. 185 - 191

KBSE2026-33
Checking Older Adults' Health Condition Using Face-based Emotion Analysis and Spoken-Dialogue Agent
Atsunori Nishiyama, Takuya Nakata, Sinan Chen (Kobe Univ.), Sachio Saiki (Kochi Univ. of Tech.), Kosuke Masuda (Nagasaki yuai Hospital), Yuuta Tsuyuzaki (Oyumino Central Hospital), Kiyoshi Yasuda, Masahide Nakamura (Kobe Univ.)
pp. 192 - 198

KBSE2026-34
Development of a Cross-Service Multi-Camera System for In-Home Monitoring of Older Adults
Toshinori Shindo, Atsunori Nishiyama, Shota Fukuda, Takuya Nakata, Sinan Chen (Kobe Univ.), Sachio Saiki (Kochi Univ. of Tech.), Kiyoshi Yasuda, Masahide Nakamura (Kobe Univ.)
pp. 199 - 205

KBSE2026-35
A Method for Identifying Causes of Unrealizability in Discrete Controller Synthesis via Stepwise Requirement Analysis
Hiyori Kono (Science Tokyo), Yamauchi Takuto (Waseda Univ), Tei Keji (Science Tokyo)
pp. 206 - 210

KBSE2026-36
Selective Pre-Synthesis of PreControllers for Environmental Changes Based on Dependency Analysis between Environment and Requirements
Shunsuke Mikami (Science Tokyo), Yamauchi Takuto (Waseda Univ.), Kenji Tei (Science Tokyo)
pp. 211 - 214

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