Online edition: ISSN 2432-6380
[TOP] | [2018] | [2019] | [2020] | [2021] | [2022] | [2023] | [2024] | [Japanese] / [English]
KBSE2022-54
Dependency modeling between subsystems based on management data
Takuya Saruwatari (NTTDATA)
pp. 1 - 6
KBSE2022-55
Modeling of Problem-Solving Knowledge for Machine Learning Projects
Hironori Takeuchi (Musashi Univ.), Shuichiro Yamamoto (NPUT)
pp. 7 - 12
KBSE2022-56
Traceability Management Method based on Informal/Semi-formal Hybrid Notation
Ryoji Okada, Yoshihiro Ohama, Seigo Ito (TCRDL)
pp. 13 - 18
KBSE2022-57
Development and Experiment of Remote Play System for Universal Sports
Yuuto Kanai, Fumihiro Kumeno, Hidemi Yamachi (NIT)
pp. 19 - 24
KBSE2022-58
Hint Recommendation Method for learning Pythonic List Comprehension
Yu Imamoto, Erina Makihara, Yuto Shimazaki, Keiko Ono (Doshisha Univ.)
pp. 25 - 30
KBSE2022-59
A type preview tool in Python for beginner programmers
Masaki Tomoike, Kentaro Okino, Masanari Kondo, Yasutaka Kamei, Naoyasu Ubayashi (Kyushu Univ.)
pp. 31 - 36
KBSE2022-60
Deepening relationship between system thinking and requirements engineering during the evolution of information systems
Shuichiro Yamamoto (IPUT in Nagoya)
pp. 37 - 42
KBSE2022-61
Towards reducing the risk of OSS adoption with survival analysis
Kazushi Tomoto, Hiroki Kuramoto (Kyushu Univ.), Shinobu Saito, Yukako Iimura (NTT), Masanari Kondo, Yasutaka Kamei, Naoyasu Ubayashi (Kyushu Univ.)
pp. 43 - 48
KBSE2022-62
Verification of Interaction between Functions in FRAM using Model Checking
Yoshitaka Aoki (BIPROGY), Kenji Hisazumi (Shibaura Inst. of Tech.)
pp. 49 - 54
KBSE2022-63
(See Japanese page.)
pp. 55 - 60
KBSE2022-64
On Family-based Model Checking based on Probabilistic Model Checker
Tomoji Kishi (Waseda Univ)
pp. 61 - 66
KBSE2022-65
A Note on Optimal Testcase Generation in Boundary Value Analysis
Xiujing Guo, Hiroyuki Okamura, Tadashi Dohi (Hiroshima Univ.)
pp. 67 - 72
KBSE2022-66
Analyzing Business Processes by Automatically Detecting KPI Thresholds Based on Trace Variants
Taro Takei, Hiroki Horita (Ibaraki Univ.)
pp. 73 - 78
KBSE2022-67
Development of Co-Analysis Support Tool by Linking Simulink and SMT Solver
Engielista Anak Norman, Yoshikazu Ueda (Ibaraki Univ.)
pp. 79 - 84
KBSE2022-68
Investigating the Impact of Input Data Order on Automatic Code Generation with GitHub Copilot
Kotaro Noguchi, Kei Koyanagi, Masanari Kondo, Yasutaka Kamei, Naoyasu Ubayashi (Kyushu Univ.)
pp. 85 - 90
KBSE2022-69
Study of the Impact of Activity Status on OSS Project Continuation/Interruption
Yuga Kikuchi, Yoshikazu Ueda (Ibaraki Univ.)
pp. 91 - 96
Note: Each article is a technical report without peer review, and its polished version will be published elsewhere.