|
|
| Chair |
|
Takuya Saruwatari (NTT Data) |
| Vice Chair |
|
Yoshinori Tanabe (Tsurumi Univ.) |
| Secretary |
|
Yoshitaka Aoki (BIPROGY), Hiroki Horita (Ibaraki Univ.) |
| Assistant |
|
Takafumi Tanaka (Tamagawa Univ.), Takashi Kitamura (AIST) |
|
| Conference Date |
Thu, Mar 14, 2024 09:30 - 18:00
Fri, Mar 15, 2024 09:30 - 16:05 |
| Topics |
|
| Conference Place |
|
Copyright
and
reproduction |
All rights are reserved and no part of this publication may be reproduced or transmitted in any form or by any means, electronic or mechanical, including photocopy, recording, or any information storage and retrieval system, without permission in writing from the publisher. Notwithstanding, instructors are permitted to photocopy isolated articles for noncommercial classroom use without fee. (License No.: 10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) |
| 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 KBSE. |
Thu, Mar 14 AM
09:30 - 10:45 |
| (1) |
09:30-09:55 |
Development and Evaluation of a Functional Visual Programming Learning Environment  KBSE2023-65 |
Kouki Asakawa, Takafumi Tanaka (Tamagawa Univ.) |
| (2) |
09:55-10:20 |
Development of a Support System for Unit Testing KBSE2023-66 |
Kana Suetake, Takafumi Tanaka (Tamagawa Univ.) |
| (3) |
10:20-10:45 |
Analysis of Digital Textbook Leading Logs in Programming Learning for Beginning Programmers KBSE2023-67 |
Hatsune Ochiai, Takafumi Tanaka (Tamagawa Univ.) |
Thu, Mar 14 AM
11:00 - 12:15 |
| (1) |
11:00-11:25 |
Development of an automatic modification system for generated programs using ChatGPT KBSE2023-68 |
Jun Yoshida, Oh, Hane Kondo (Tokyo Gakugei Univ.), Hiroaki hashiura (NIT), Atsuo Hazeyama (Tokyo Gakugei Univ.) |
| (2) |
11:25-11:50 |
Identification of Business Goals for Generative AI Solution based on GQM+Strategies and Knowledge Distribution Models KBSE2023-69 |
Hironori Takeuchi (Musashi Univ.), Ralf-Christian Härting (Aalen Univ), Shuichiro Yamamoto (IPUTN) |
| (3) |
11:50-12:15 |
Structuring Methods for System Requirements Using Large Language Models KBSE2023-70 |
Ryo Nakashima (UTokyo), Masaki Inokuchi, Masaharu Morimoto, Takayuki Kuroda (NEC) |
Thu, Mar 14 PM
13:20 - 14:35 |
| (4) |
13:20-13:45 |
A Method to Describe Non-Functional Requirements by Exceptions KBSE2023-71 |
Shuichiro Yamamoto (IPUT in Nagoya) |
| (5) |
13:45-14:10 |
Consideration on System Safety Verification Based on User Personality Traits KBSE2023-72 |
Ruka Narisawa, Shinpei Ogata (Shinshu Univ.), Yoshitaka Aoki (BIPROGY), Hiroyuki Nakagawa (Osaka Univ.), Kazuki Kobayashi, Kozo Okano (Shinshu Univ.) |
| (6) |
14:10-14:35 |
Applying Model Checking to Ethical Judgments KBSE2023-73 |
Yoshitaka Aoki, Yotaro Nakayama (BIPROGY) |
Thu, Mar 14 PM
14:50 - 16:05 |
| (7) |
14:50-15:15 |
Proposal of Memory Disorder Support Service Linking Spoken Dialogue Agent and ChatGPT KBSE2023-74 |
Hiro Okamoto, Sinan Chen, Masahide Nakamura (Kobe Univ.), Sachio Saiki (Kochi Univ. of Tech.), Kiyoshi Yasuda (Kobe Univ.) |
| (8) |
15:15-15:40 |
A Method to Create Scenario by Large Language Model for Input Amount Simulation KBSE2023-75 |
Yusuke Koyama, Shinpei Ogata, Kozo Okano (Shinshu Univ.) |
| (9) |
15:40-16:05 |
An approach for improving perceived safety in autonomous driving using personalized shielding KBSE2023-76 |
Ryotaro Abe, Jialong Li, Jinyu Cai (Waseda Univ.), Shinichi Honiden (NII), Kenji Tei (Tokyo Tech) |
Thu, Mar 14 PM
16:20 - 18:00 |
| (10) |
16:20-16:45 |
Automated Stepwise Policy Design for Stepwise Discrete Controller Synthesis KBSE2023-77 |
Takuto Yamauchi (Waseda Univ.), Kenji Tei (Tokyo Tech.), Shinichi Honiden (Waseda Univ.) |
| (11) |
16:45-17:10 |
Dynamic update controller synthesis using on-the-fly exploration KBSE2023-78 |
Takanori Hirano, Takuto Yamauchi (Waseda Univ.), Kenji Tei (Tokyo Tech.), Shinichi Honiden (NII) |
| (12) |
17:10-17:35 |
Reusable Self-Adaptive Intrusion Recovery for Cloud Native Applications KBSE2023-79 |
Takumi Ikeda, Takuto Yamauchi (Waseda Univ.), Kenji Tei (Tokyo Tech) |
| (13) |
17:35-18:00 |
Priority-based On-the-fly Exploration for Discrete Controller Synthesis KBSE2023-80 |
Hiroki Takeuchi, Takuto Yamauchi (Waseda Univ.), Kenji Tei (Tokyo Tech) |
Fri, Mar 15 AM
09:30 - 10:45 |
| (14) |
09:30-09:55 |
Long-Term Fine-grained Forecasts of Emergency Demand Using EMS Big Data and Regional Mesh Population Estimates KBSE2023-81 |
Kaneda Masaki, Chen Sinan, Nakamura Masahide (Kobe Univ.), SaikiSachio (Kochi Univ. of Tech.) |
| (15) |
09:55-10:20 |
Evaluating Recognition AI and Personal Memories Using Time-Series Images in Daily Activities KBSE2023-82 |
Raiki Saito, Chen Sinan, Nakamura Masahide (Kobe Univ.), Saiki Sachio (Kochi Univ. of Tech.) |
| (16) |
10:20-10:45 |
Implementing Remote Task Execution Service for Hybrid Meeting Spaces KBSE2023-83 |
Takeshi Yoshida, Sinan Chen, Masahide Nakamura (Kobe Univ.), SachioSaiki (Kochi Univ. of Tech.) |
Fri, Mar 15 AM
11:00 - 12:15 |
| (17) |
11:00-11:25 |
An aptitude evaluation method for finding supporters based on occurrence of character strings KBSE2023-84 |
Yusuke Hayami, Shiro Ogasawara, Masanobu Sakamoto, Sayaka Yagi, Tomoko Shibata (NTT) |
| (18) |
11:25-11:50 |
Research on Automatic Dialogue Correction Considering Character's Distinctive Way of Speaking in Novels KBSE2023-85 |
Mei Matsuura, Yutaka Matsuno (Nihon Univ.) |
| (19) |
11:50-12:15 |
Evaluation of Disaster Awareness Enhancement through a Disaster Preparedness Learning App Including Scenarios without Definite Answers KBSE2023-86 |
Takehiro Akiyama, Yutaka Matsuno (Nihon Univ.) |
Fri, Mar 15 PM
13:20 - 14:10 |
| (20) |
13:20-13:45 |
On Improvement of Variability Model Division Method KBSE2023-87 |
Tomoji Kishi (Waseda Univ.) |
| (21) |
13:45-14:10 |
An Empirical Study on Self-Admitted Technical Debt in Quantum Software KBSE2023-88 |
Yuto Nakamura, Yuta Ishimoto (Kyushu Univ.), Ryota Katsube, Naoto Sato, Hideto Ogawa (Hitachi), Masanari Kondo, Yasutaka Kamei, Naoyasu Ubayashi (Kyushu Univ.) |
Fri, Mar 15 PM
14:50 - 16:05 |
| (22) |
14:50-15:15 |
Learning data creation support tool for learning program defects using images KBSE2023-89 |
Kazuhiko Ogawa, Takako Nakatani (OUJ) |
| (23) |
15:15-15:40 |
Bayesian Statistical Analysis of Commit History Data Using WBIC for OSS Evolution Analysis KBSE2023-90 |
Toru Sugiyama, Takako Nakatani (OUJ) |
| (24) |
15:40-16:05 |
Analysis of numerical simulation modeling support using goal-oriented analysis KBSE2023-91 |
Junichi Ichimura, Takako Nakatani (OUJ) |
| Announcement for Speakers |
| General Talk | Each speech will have 20 minutes for presentation and 5 minutes for discussion. |
| Young Researcher's Talk | Each speech will have 20 minutes for presentation and 5 minutes for discussion. |
| Contact Address and Latest Schedule Information |
| 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/ |
Last modified: 2024-03-26 20:59:28
|