IEICE Technical Committee Submission System
Advance Program
Online Proceedings
[Sign in]
Tech. Rep. Archives
 Go Top  Go Back   Prev KBSE Conf / Next KBSE Conf [HTML] / [HTML(simple)] / [TEXT]  [Japanese] / [English] 

===============================================
Technical Committee on Knowledge-Based Software Engineering (KBSE)
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)

DATE:
Thu, Mar 14, 2024 09:30 - 18:00
Fri, Mar 15, 2024 09:30 - 16:05

PLACE:


TOPICS:


----------------------------------------
Thu, Mar 14 AM (09:30 - 10:45)
----------------------------------------

(1) 09:30 - 09:55
Development and Evaluation of a Functional Visual Programming Learning Environment
Kouki Asakawa, Takafumi Tanaka (Tamagawa Univ.)

(2) 09:55 - 10:20
Development of a Support System for Unit Testing
Kana Suetake, Takafumi Tanaka (Tamagawa Univ.)

(3) 10:20 - 10:45
Analysis of Digital Textbook Leading Logs in Programming Learning for Beginning Programmers
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
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
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
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
Shuichiro Yamamoto (IPUT in Nagoya)

(5) 13:45 - 14:10
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.)

(6) 14:10 - 14:35
Applying Model Checking to Ethical Judgments
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
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
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
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
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
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
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
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
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
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
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
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
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
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
Tomoji Kishi (Waseda Univ.)

(21) 13:45 - 14:10
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.)

----------------------------------------
Fri, Mar 15 PM (14:50 - 16:05)
----------------------------------------

(22) 14:50 - 15:15
Learning data creation support tool for learning program defects using images
Kazuhiko Ogawa, Takako Nakatani (OUJ)

(23) 15:15 - 15:40
Bayesian Statistical Analysis of Commit History Data Using WBIC for OSS Evolution Analysis
Toru Sugiyama, Takako Nakatani (OUJ)

(24) 15:40 - 16:05
Analysis of numerical simulation modeling support using goal-oriented analysis
Junichi Ichimura, Takako Nakatani (OUJ)

# Information for speakers
General Talk will have 20 minutes for presentation and 5 minutes for discussion.
Young Researcher's Talk will have 20 minutes for presentation and 5 minutes for discussion.


=== Technical Committee on Knowledge-Based Software Engineering (KBSE) ===
# FUTURE SCHEDULE:

Fri, May 17, 2024 - Sat, May 18, 2024: Kikai-Shinko-Kaikan Bldg. [Thu, Mar 14]

# SECRETARY:
KBSE Staff ML
E-mail: kb-sff

# ANNOUNCEMENT:
# Latest information will be presented on the homepage:
http://www.ieice.org/iss/kbse/


Last modified: 2024-03-26 20:59:28


Notification: Mail addresses are partially hidden against SPAM.

[Download Paper's Information (in Japanese)] <-- Press download button after click here.
 
[Cover and Index of IEICE Technical Report by Issue]
 

[Presentation and Participation FAQ] (in Japanese)
 

[Return to KBSE Schedule Page]   /  
 
 Go Top  Go Back   Prev KBSE Conf / Next KBSE Conf [HTML] / [HTML(simple)] / [TEXT]  [Japanese] / [English] 


[Return to Top Page]

[Return to IEICE Web Page]


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