Information and Systems-Image Engineering(Date:2023/03/16)

Presentation
Traceability Management Method based on Informal/Semi-formal Hybrid Notation

Ryoji Okada(TCRDL),  Yoshihiro Ohama(TCRDL),  Seigo Ito(TCRDL),  

[Date]2023-03-16
[Paper #]KBSE2022-56
Development and Experiment of Remote Play System for Universal Sports

Yuuto Kanai(NIT),  Fumihiro Kumeno(NIT),  Hidemi Yamachi(NIT),  

[Date]2023-03-16
[Paper #]KBSE2022-57
Modeling of Problem-Solving Knowledge for Machine Learning Projects

Hironori Takeuchi(Musashi Univ.),  Shuichiro Yamamoto(NPUT),  

[Date]2023-03-16
[Paper #]KBSE2022-55
Hint Recommendation Method for learning Pythonic List Comprehension

Yu Imamoto(Doshisha Univ.),  Erina Makihara(Doshisha Univ.),  Yuto Shimazaki(Doshisha Univ.),  Keiko Ono(Doshisha Univ.),  

[Date]2023-03-16
[Paper #]KBSE2022-58
A type preview tool in Python for beginner programmers

Masaki Tomoike(Kyushu Univ.),  Kentaro Okino(Kyushu Univ.),  Masanari Kondo(Kyushu Univ.),  Yasutaka Kamei(Kyushu Univ.),  Naoyasu Ubayashi(Kyushu Univ.),  

[Date]2023-03-16
[Paper #]KBSE2022-59
Dependency modeling between subsystems based on management data

Takuya Saruwatari(NTTDATA),  

[Date]2023-03-16
[Paper #]KBSE2022-54
On Family-based Model Checking based on Probabilistic Model Checker

Tomoji Kishi(Waseda Univ),  

[Date]2023-03-17
[Paper #]KBSE2022-64
Deepening relationship between system thinking and requirements engineering during the evolution of information systems

Shuichiro Yamamoto(IPUT in Nagoya),  

[Date]2023-03-17
[Paper #]KBSE2022-60
Development of a co-analysis support tool by collaboration of Simulink and SMT solver

Engielista Anak Norman(Ibaraki Univ.),  Yoshikazu Ueda(Ibaraki Univ.),  

[Date]2023-03-17
[Paper #]KBSE2022-67
Towards reducing the risk of OSS adoption with survival analysis

Kazushi Tomoto(Kyushu Univ.),  Hiroki Kuramoto(Kyushu Univ.),  Shinobu Saito(NTT),  Yukako Iimura(NTT),  Masanari Kondo(Kyushu Univ.),  Yasutaka Kamei(Kyushu Univ.),  Naoyasu Ubayashi(Kyushu Univ.),  

[Date]2023-03-17
[Paper #]KBSE2022-61
Investigating the Impact of Input Data Order on Automatic Code Generation with GitHub Copilot

Kotaro Noguchi(Kyushu Univ.),  Kei Koyanagi(Kyushu Univ.),  Masanari Kondo(Kyushu Univ.),  Yasutaka Kamei(Kyushu Univ.),  Naoyasu Ubayashi(Kyushu Univ.),  

[Date]2023-03-17
[Paper #]KBSE2022-68
A Note on Optimal Testcase Generation in Boundary Value Analysis

Xiujing Guo(Hiroshima Univ.),  Hiroyuki Okamura(Hiroshima Univ.),  Tadashi Dohi(Hiroshima Univ.),  

[Date]2023-03-17
[Paper #]KBSE2022-65
Study of the Impact of Activity Status on OSS Project Continuation/Interruption

Yuga Kikuchi(Ibaraki Univ.),  Yoshikazu Ueda(Ibaraki Univ.),  

[Date]2023-03-17
[Paper #]KBSE2022-69
Verification of Interaction between Functions in FRAM using Model Checking

Yoshitaka Aoki(BIPROGY),  Kenji Hisazumi(Shibaura Inst. of Tech.),  

[Date]2023-03-17
[Paper #]KBSE2022-62
Analyzing Business Processes by Automatically Detecting KPI Thresholds Based on Trace Variants

Taro Takei(Ibaraki Univ.),  Hiroki Horita(Ibaraki Univ.),  

[Date]2023-03-17
[Paper #]KBSE2022-66
コマンドの編集距離に基づくDockerfileにおける類似記述の検索

,  ,  

[Date]2023-03-17
[Paper #]KBSE2022-63