IEICE Technical Committee

Information and Systems-Image Engineering(Date:2024/03/14)

Presentation

Development of an automatic modification system for generated programs using ChatGPT

Jun Yoshida(Tokyo Gakugei Univ.), Oh(Tokyo Gakugei Univ.), Hane Kondo(Tokyo Gakugei Univ.), Hiroaki hashiura(NIT), Atsuo Hazeyama(Tokyo Gakugei Univ.),

[Date]2024-03-14
[Paper #]KBSE2023-68

A Method for Representing Non-Functional Requirements based on Exceptions

Shuichiro Yamamoto(IPUT in Nagoya),

[Date]2024-03-14
[Paper #]KBSE2023-71

Proposal Of Memory Disorder Support Service Linking Voice Dialogue Agent And ChatGPT

Hiro Okamoto(Kobe Univ.), Sinan Chen(Kobe Univ.), Masahide Nakamura(Kobe Univ.), Sachio Saiki(Kochi Univ. of Tech.), Kiyoshi Yasuda(Kobe Univ.),

[Date]2024-03-14
[Paper #]KBSE2023-74

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),

[Date]2024-03-14
[Paper #]KBSE2023-69

Consideration on System Safety Verification Based on User Personality Traits

Ruka Narisawa(Shinshu Univ.), Shinpei Ogata(Shinshu Univ.), Yoshitaka Aoki(BIPROGY), Hiroyuki Nakagawa(Osaka Univ.), Kazuki Kobayashi(Shinshu Univ.), Kozo Okano(Shinshu Univ.),

[Date]2024-03-14
[Paper #]KBSE2023-72

Applying Model Checking to Ethical Judgments

Yoshitaka Aoki(BIPROGY), Yotaro Nakayama(BIPROGY),

[Date]2024-03-14
[Paper #]KBSE2023-73

Automated Stepwise Policy Design for Stepwise Discrete Controller Synthesis

Takuto Yamauchi(Waseda Univ.), Kenji Tei(Tokyo Tech.), Shinichi Honiden(Waseda Univ.),

[Date]2024-03-14
[Paper #]KBSE2023-77

Dynamic update controller synthesis using on-the-fly exploration

Takanori Hirano(Waseda Univ.), Takuto Yamauchi(Waseda Univ.), Kenji Tei(Tokyo Tech.), Shinichi Honiden(NII),

[Date]2024-03-14
[Paper #]KBSE2023-78

Structuring Methods for System Requirements Using Large Language Models

Ryo Nakashima(UTokyo), Masaki Inokuchi(NEC), Masaharu Morimoto(NEC), Takayuki Kuroda(NEC),

[Date]2024-03-14
[Paper #]KBSE2023-70

Reusable Self-Adaptive Intrusion Recovery for Cloud Native Applications

Takumi Ikeda(Waseda Univ.), Takuto Yamauchi(Waseda Univ.), Kenji Tei(Tokyo Tech),

[Date]2024-03-14
[Paper #]KBSE2023-79

Development of a Support System for Unit Testing

Kana Suetake(Tamagawa Univ.), Takafumi Tanaka(Tamagawa Univ.),

[Date]2024-03-14
[Paper #]KBSE2023-66

Analysis of Digital Textbook Leading Logs in Programming Learning for Beginning Programmers

Hatsune Ochiai(Tamagawa Univ.), Takafumi Tanaka(Tamagawa Univ.),

[Date]2024-03-14
[Paper #]KBSE2023-67

Development and Evaluation of a Functional Visual Programming Learning Environment

Kouki Asakawa(Tamagawa Univ.), Takafumi Tanaka(Tamagawa Univ.),

[Date]2024-03-14
[Paper #]KBSE2023-65

Priority-based On-the-fly Exploration for Discrete Controller Synthesis

Hiroki Takeuchi(Waseda Univ.), Takuto Yamauchi(Waseda Univ.), Kenji Tei(Tokyo Tech),

[Date]2024-03-14
[Paper #]KBSE2023-80

An approach for improving perceived safety in autonomous driving using personalized shielding

Ryotaro Abe(Waseda Univ.), Jialong Li(Waseda Univ.), Jinyu Cai(Waseda Univ.), Shinichi Honiden(NII), Kenji Tei(Tokyo Tech),

[Date]2024-03-14
[Paper #]KBSE2023-76

A Method to Create Scenario by Large Language Model for Input Amount Simulation

Yusuke Koyama(Shinshu Univ.), Shinpei Ogata(Shinshu Univ.), Kozo Okano(Shinshu Univ.),

[Date]2024-03-14
[Paper #]KBSE2023-75

Long-Term Fine-grained Forecasts of Emergency Demand Using EMS Big Data and Regional Mesh Population Estimates

Kaneda Masaki(Kobe Univ.), Chen Sinan(Kobe Univ.), Nakamura Masahide(Kobe Univ.), SaikiSachio(Kochi Univ. of Tech.),

[Date]2024-03-15
[Paper #]KBSE2023-81

On Improvement of Variability Model Division Method

Tomoji Kishi(Waseda Univ.),

[Date]2024-03-15
[Paper #]KBSE2023-87

Evaluating Recognition AI and Personal Memories Using Time-Series Images in Daily Activities

Raiki Saito(Kobe Univ.), Chen Sinan(Kobe Univ.), Nakamura Masahide(Kobe Univ.), Saiki Sachio(Kochi Univ. of Tech.),

[Date]2024-03-15
[Paper #]KBSE2023-82

Implementing Remote Task Execution Service for Hybrid Meeting Spaces

Takeshi Yoshida(Kobe Univ.), Sinan Chen(Kobe Univ.), Masahide Nakamura(Kobe Univ.), SachioSaiki(Kochi Univ. of Tech.),

[Date]2024-03-15
[Paper #]KBSE2023-83