Online edition: ISSN 2432-6380
[TOP] | [2018] | [2019] | [2020] | [2021] | [2022] | [2023] | [2024] | [Japanese] / [English]
KBSE2023-12
Design of a Software Architecture for Risk Assessment Systems Using Machine Learning
Tomoya Kachi, Tensho Iimori, Masami Noro, Atsushi Sawada, Han-Myung Chang (Nanzan Univ.)
pp. 1 - 6
KBSE2023-13
Experimental Evaluation of Large Language Model Vicuna's Accuracy in Detecting Violations of MISRA C:2012 Rules
Katsuhiko Fujie, Toshihiro Kamiya (Shimane univ.)
pp. 7 - 12
KBSE2023-14
CROOPLPP : A Reversible Concurrent Object-oriented Programming Language
Yusuke Akaike, Shoji Yuen (Nagoya Univ)
pp. 13 - 18
KBSE2023-15
Instruction Scheduling for GPUs Utilizing Subwarp Interleaving
Junji Fukuhara, Munehiro Takimoto (TUS)
pp. 19 - 24
KBSE2023-16
Specifying Software Requirements Documents of good quality based on ISO/IEC/IEEE29148
Atsushi Ohnishi (Ritsumeikan U.)
pp. 25 - 30
KBSE2023-17
Developing Location-Aware Service Platform Using Data Integration Platform
Tomoro Nakahashi, Sinan Chen, Masahide Nakamura (Kobe Univ.), Sachio Saiki (Kochi Univ. of Tech.)
pp. 31 - 36
KBSE2023-18
Effect of query reformulation on IR-based bug localization.
Ryosuke Inomata, Takashi Kobayashi (Tokyo Tech.)
pp. 37 - 42
KBSE2023-19
A tool for vulnerability assessment and checksum verification using SPDX documents
Rio Kishimoto, Tetsuya Kanda (Osaka Univ.), Yuki Manabe (The Univ. of Fukuchiyama), Katsuro Inoue (Nanzan Univ.), Yoshiki Higo (Osaka Univ.)
pp. 43 - 48
KBSE2023-20
(See Japanese page.)
pp. 49 - 54
KBSE2023-21
Evaluation of ChatGPT's Performance on Programming Course Assignments
Tomoya Suzuki, Toshihiro Kamiya (Shimane Univ.)
pp. 55 - 60
KBSE2023-22
Currentization of legacy algorithms
Fumihiko Ishiyama (NTT)
pp. 61 - 64
KBSE2023-23
NARUTO model: a Requirements Engineering Process for Incremental Developments
Takako Nakatani (OUJ), Atsushi Ohnishi (Ritsumeikan Univ.), Motoshi Saeki (Nanzan Univ.)
pp. 65 - 70
KBSE2023-24
Visual Programming Learning Environment Focusing on Unit Testing for Functional Programming
Kouki Asakawa, Takafumi Tanaka (Tamagawa Univ.)
pp. 71 - 75
KBSE2023-25
Programming Learning Support System Using Learning Logs from Digital Textbooks and Exercise Management Systems
Hatsune Ochiai, Takafumi Tanaka (Tamagawa Univ.)
pp. 76 - 81
KBSE2023-26
Development of a Support System for Learning Combination Testing
Kana Suetake, Takafumi Tanaka (Tamagawa Univ.)
pp. 82 - 85
KBSE2023-27
Preliminary study on contextualized API usage change patterns extraction.
Shunsuke Wakamatsu, Takashi Kobayashi (Tokyo Tech.)
pp. 86 - 91
KBSE2023-28
Exploring the Magnetic or Sticky Nature of GitHub Ecosystems: NPM, PyPI, and Rubygems
Shurong Sun, Olivier Nourry, Dong Wang, Yasutaka Kamei (Kyushu Univ.)
pp. 92 - 97
KBSE2023-29
An exploratory study of linking between Stack Overflow and Language Documentation
Sentaro Onizuka, Tetsuya Kanda (Osaka Univ.), Yuki Manabe (Univ. Fukuchiyama), Yoshiki Higo (Osaka Univ.)
pp. 98 - 103
KBSE2023-30
Extracting User Needs for Personalized Smart Services Using Dialogue Agent with LLM
Takuya Nakata, Sinan Chen (Kobe Univ.), Sachio Saiki (Kochi Univ. of Tech.), Masahide Nakamura (Kobe Univ.)
pp. 104 - 109
KBSE2023-31
Verification of System Behavior using two types of model checking
Yoshitaka Aoki (BIPROGY), Shinpei Ogata (Shinshu Univ.), Hiroyuki Nkagawa (Osaka Univ.), Kazuki Kobayashi (Shinshu Univ.)
pp. 110 - 115
Note: Each article is a technical report without peer review, and its polished version will be published elsewhere.