|
|
| Chair |
|
Yoshiaki Takata (Kochi University of Tech.) |
| Vice Chair |
|
Shinpei Hayashi (Science Tokyo) |
| Secretary |
|
Kenji Hashimoto (Kagawa Univ.), Shinsuke Matsumoto (Osaka Univ.) |
| Assistant |
|
Kenji Fujiwara (Nara Women's Univ.) |
|
|
|
| Chair |
|
Rihito Yaegashi (Kagawa Univ.) |
| Vice Chair |
|
Shimpei Ogata (Shinshu University) |
| Secretary |
|
Satoru Yamada (Kagawa Univ), Minami Yoda (NU) |
| Assistant |
|
Tomoki Aburatani (Osaka Metropolitan University), Takuto Yamauchi (Waseda University) |
|
| Conference Date |
Wed, Jul 22, 2026 10:00 - 18:35
Thu, Jul 23, 2026 09:20 - 17:35
Fri, Jul 24, 2026 09:00 - 15:05
[updated] |
| Topics |
|
| Conference Place |
|
| Registration Fee |
This workshop will be held as the IEICE workshop in fully electronic publishing. Registration fee will be necessary except the speakers and participants other than the participants to workshop(s) in non-electronic publishing. See the registration fee page. We request the registration fee or presentation fee to participants who will attend the workshop(s) on SS, KBSE. |
| Due for Registration |
Please proceed the payment of registration fee by 3 days before the workshop date. The meeting URL will be sent from one of the secretaries of the committee via e-mail, just before the workshop date. |
Wed, Jul 22 AM
10:00 - 11:00 |
(1)
KBSE |
10:00-10:20 |
Supporting Organizational Metacognition Activation through Capturing Individual Members' Work-Related Metacognitive Knowledge |
Tomoki Aburatani (Osaka Metropolitan Univ.), Motoshi Kanke, Rihito Morone, Naoya Henmi (Plainnovation) |
(2)
KBSE |
10:20-10:40 |
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) |
(3)
KBSE |
10:40-11:00 |
Designing Knowledge Resonance and Metabolism with the SKP Architecture |
Shuichiro Yamamoto (IPUT in Nagoya) |
Wed, Jul 22 AM
11:15 - 12:35 |
(4)
KBSE
[updated] |
11:15-11:35
[updated] |
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.) |
(5)
KBSE
[updated] |
11:35-11:55
[updated] |
Smartwatch Text Input Deigned to Improve Visibility Using AR Display |
Yuzuka Kawahara, Ryuichi Takahashi (Ibaraki Univ) |
(6)
KBSE |
11:55-12:15 |
Supporting Data Understanding of In-house Business Data by an AI Agent
[updated] |
Tomohiro Matsunaga, Hiroki Asakimori, Satoru Yamada, Rihito Yaegashi, Yusuke Kometani (Kagawa University) |
(7)
SS |
12:15-12:35 |
An Evaluation Window Model for Assessing Innovation in Software Development under Uncertainty |
Kumi Jinzenji (NTT) |
| |
12:35-14:05 |
Break ( 90 min. ) |
Wed, Jul 22 PM
14:05 - 15:25 |
| (8) |
14:05-14:25 |
|
| (9) |
14:25-14:45 |
|
| (10) |
14:45-15:05 |
|
(11)
KBSE |
15:05-15:25 |
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) |
Wed, Jul 22 PM
15:40 - 17:00 |
(12)
KBSE |
15:40-16:00 |
Learning Support Using Awareness Control in a VR Programming Classroom |
Ryu Tamagawa, Hidekazu Shiozawa, Takafumi Tanaka (Tamagawa Univ) |
(13)
KBSE |
16:00-16:20 |
Learning Effects of Animation-Based Visualization of Program Behavior for Programming Learning |
Taiki Yanagiuchi, Hidekazu Shiozawa, Takafumi Tanaka (Tamagawa Univ) |
(14)
KBSE |
16:20-16:40 |
A Learning Support System Focusing on Code Componentization and Component Behavior |
Taiyo Hamada, Hidekazu Shiozawa, Takafumi Tanaka (Tamagawa Univ) |
(15)
KBSE |
16:40-17:00 |
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.) |
Wed, Jul 22 PM
17:15 - 18:35 |
(16)
SS |
17:15-17:35 |
Delta-algebra: A formal transformation method for object-oriented designs based on reference structures |
Shohei Yamagiwa, Naoya Nitta (Konan Univ.) |
(17)
SS |
17:35-17:55 |
A Comparison of the Robustness of Four Optimization Algorithms in the CNN Model |
Kazuki Sato, Kozo Okano, Shinpei Ogata (Shinsyu Univ.), Shin Nakajima (NII) |
(18)
SS |
17:55-18: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) |
(19)
SS |
18:15-18:35 |
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) |
Thu, Jul 23 AM
09:20 - 10:00 [updated] |
(20)
KBSE |
09:20-09:40
[updated] |
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) |
(21)
KBSE |
09:40-10:00
[updated] |
Evaluation of Rationale Extraction from Chat Logs Using Large Language Models |
Sonosuke Noguchi, Hidekazu Shiozawa, Takafumi Tanaka (Tamagawa Univ) |
Thu, Jul 23 PM
10:15 - 11:35 |
(22)
[updated] |
10:15-10:35 |
|
(23)
[updated] |
10:35-10:55
[updated] |
|
(24)
[updated] |
10:55-11:15
[updated] |
|
(25)
[updated] |
11:15-11:35
[updated] |
|
| |
11:35-13:05 |
Break ( 90 min. ) |
Thu, Jul 23 PM
13:05 - 14:25 |
(26)
SS
[updated] |
13:05-13:25 |
An Analysis of Funding and Its Impact on Development Activities in Open Source Projects |
Gakushi Kimura, Olivier Nourry, Yoshiki Higo (UOsaka) |
(27)
SS
[updated] |
13:25-13:45 |
Reproducibility of Bugs4Q under Framework Evolution: Toward Supporting Quantum Program Migration
[updated] |
Haruto Ohto, Yuta Ishimoto, Shinsuke Matsumoto, Shinji Kusumoto (UOsaka)
[updated] |
(28)
SS
[updated] |
13:45-14:05 |
|
|
(29)
SS
[updated] |
14:05-14:25 |
|
Mao Kuroda, Profir-Petru Partachi, Takashi Kobayashi (Science Tokyo) |
Thu, Jul 23 PM
14:40 - 16:00 |
(30)
[updated] |
14:40-15:00 |
|
(31)
[updated] |
15:00-15:20 |
|
(32)
[updated] |
15:20-15:40 |
|
(33)
[updated] |
15:40-16:00 |
|
Thu, Jul 23 PM
16:15 - 17:35 |
(34)
SS
[updated] |
16:15-16:35 |
Identifying Undetected Clone Pairs Using the Transitional Relationships of Detected Clone Pairs
[updated] |
Ryosuke Ishimura, Yoshiki Higo (UOsaka) |
(35)
SS
[updated] |
16:35-16:55 |
|
|
(36)
SS
[updated] |
16:55-17:15 |
|
|
(37)
SS
[updated] |
17:15-17:35 |
Enhancing SBFL Ranking via Causal Inference Using Dynamic Dependency Analysis |
Masaya Ezaki, Takashi Kobayashi (Science Tokyo) |
Fri, Jul 24 AM
09:00 - 10:20 |
(38)
[updated] |
09:00-09:20
[updated] |
|
(39)
[updated] |
09:20-09:40 |
|
(40)
SS
[updated] |
09:40-10:00
[updated] |
Evaluating Coding Agents for Refactoring Under Project-Specific Conventions |
Kaito Shigyo, Masanari Kondo, Yasutaka Kamei (Kyushu Univ.) |
| (41) |
10:00-10:20
[updated] |
|
Fri, Jul 24 AM
10:35 - 11:55 |
(42)
KBSE
[updated] |
10:35-10:55 |
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) |
(43)
KBSE
[updated] |
10:55-11:15 |
Improving the Efficiency of Stepwise Controller Synthesis by Avoiding Ineffective Minimisation |
Tomoki Yamaguchi (Science Tokyo), Takuto Yamauchi (Waseda Univ.), Kenji Tei (Science Tokyo) |
(44)
KBSE
[updated] |
11:15-11:35 |
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) |
(45)
KBSE
[updated] |
11:35-11:55 |
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. --
[updated] |
Hiroki Asakimori, Toru Kuga, Satoru Yamada, Yusuke Kometani, Rihito Yaegashi (Kagawa Univ.) |
| |
11:55-13:25 |
Break ( 90 min. ) |
Fri, Jul 24 PM
13:25 - 15:05 |
(46)
SS
[updated] |
13:25-13:45 |
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.) |
(47)
SS
[updated] |
13:45-14:05 |
Checking Older Adults' Health Condition Using Face-based Emotion Analysis and Spoken-Dialogue Agent
[updated] |
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.) |
(48)
SS
[updated] |
14:05-14:25 |
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.) |
(49)
KBSE
[updated] |
14:25-14:45
[updated] |
A Method for Identifying Causes of Unrealizability in Discrete Controller Synthesis via Stepwise Requirement Analysis
[updated] |
Hiyori Kono (Science Tokyo), Yamauchi Takuto (Waseda Univ), Tei Keji (Science Tokyo) |
(50)
KBSE
[updated] |
14:45-15:05
[updated] |
Selective Pre-Synthesis of PreControllers for Environmental Changes Based on Dependency Analysis between Environment and Requirements
[updated] |
Shunsuke Mikami (Science Tokyo), Yamauchi Takuto (Waseda Univ.), Kenji Tei (Science Tokyo) |
| Announcement for Speakers |
| General Talk | Each speech will have 15 minutes for presentation and 5 minutes for discussion. |
| Contact Address and Latest Schedule Information |
| SS |
Technical Committee on Software Science (SS) [Latest Schedule]
|
| Contact Address |
Kenji Hashimoto (Kagawa University)
E- :       n     -u |
| Announcement |
Latest information will be presented on the homepage:
https://www.ieice.org/iss/ss/ |
| KBSE |
Technical Committee on Knowledge-Based Software Engineering (KBSE) [Latest Schedule]
|
| Contact Address |
KBSE Staff ML
E-: kb -s ff |
| Announcement |
Latest information will be presented on the homepage:
http://www.ieice.org/iss/kbse/ |
| IPSJ-SE |
Special Interest Group on Software Engineering (IPSJ-SE) [Latest Schedule]
|
| Contact Address |
|
Last modified: 2026-07-07 18:44:40
|
Notification: Mail addresses are partially hidden against SPAM.
|