Information and Systems-Software Science(Date:2023/07/20)

Presentation
Specifying Software Requirements Documents of good quality based on ISO/IEC/IEEE29148

Atsushi Ohnishi(Ritsumeikan U.),  

[Date]2023-07-20
[Paper #]SS2023-5,KBSE2023-16
Design of a Software Architecture for Risk Assessment Systems Using Machine Learning

Tomoya Kachi(Nanzan Univ.),  Tensho Iimori(Nanzan Univ.),  Masami Noro(Nanzan Univ.),  Atsushi Sawada(Nanzan Univ.),  Han-Myung Chang(Nanzan Univ.),  

[Date]2023-07-20
[Paper #]SS2023-1,KBSE2023-12
Experimental Evaluation of Large Language Model Vicuna's Accuracy in Detecting Violations of MISRA C:2012 Rules

Katsuhiko Fujie(Shimane univ.),  Toshihiro Kamiya(Shimane univ.),  

[Date]2023-07-20
[Paper #]SS2023-2,KBSE2023-13
CROOPLPP : A Reversible Concurrent Object-oriented Programming Language

Yusuke Akaike(Nagoya Univ),  Shoji Yuen(Nagoya Univ),  

[Date]2023-07-20
[Paper #]SS2023-3,KBSE2023-14
Developing Location-Aware Service Platform Using Data Integration Platform

Tomoro Nakahashi(Kobe Univ.),  Sinan Chen(Kobe Univ.),  Masahide Nakamura(Kobe Univ.),  Sachio Saiki(Kochi Univ. of Tech.),  

[Date]2023-07-20
[Paper #]SS2023-6,KBSE2023-17
Instruction Scheduling for GPUs Utilizing Subwarp Interleaving

Junji Fukuhara(TUS),  Munehiro Takimoto(TUS),  

[Date]2023-07-20
[Paper #]SS2023-4,KBSE2023-15
Currentization of legacy algorithms

Fumihiko Ishiyama(NTT),  

[Date]2023-07-21
[Paper #]SS2023-11,KBSE2023-22
A tool for vulnerability assessment and checksum verification using SPDX documents

Rio Kishimoto(Osaka Univ.),  Tetsuya Kanda(Osaka Univ.),  Yuki Manabe(The Univ. of Fukuchiyama),  Katsuro Inoue(Nanzan Univ.),  Yoshiki Higo(Osaka Univ.),  

[Date]2023-07-21
[Paper #]SS2023-8,KBSE2023-19
Evaluation of ChatGPT's Performance on Programming Course Assignments

Tomoya Suzuki(Shimane Univ.),  Toshihiro Kamiya(Shimane Univ.),  

[Date]2023-07-21
[Paper #]SS2023-10,KBSE2023-21
対象コード片が呼び出すメソッドに着目した機能的類似コード検出手法の提案

,  ,  

[Date]2023-07-21
[Paper #]SS2023-9,KBSE2023-20
Effect of query reformulation on IR-based bug localization.

Ryosuke Inomata(Tokyo Tech.),  Takashi Kobayashi(Tokyo Tech.),  

[Date]2023-07-21
[Paper #]SS2023-7,KBSE2023-18
Visual Programming Learning Environment Focusing on Unit Testing for Functional Programming

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

[Date]2023-07-21
[Paper #]SS2023-13,KBSE2023-24
Programming Learning Support System Using Learning Logs from Digital Textbooks and Exercise Management Systems

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

[Date]2023-07-21
[Paper #]SS2023-14,KBSE2023-25
Development of a Support System for Learning Combination Testing

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

[Date]2023-07-21
[Paper #]SS2023-15,KBSE2023-26
NARUTO model: a Requirements Engineering Process for Incremental Developments

Takako Nakatani(OUJ),  Atsushi Ohnishi(Ritsumeikan Univ.),  Motoshi Saeki(Nanzan Univ.),  

[Date]2023-07-21
[Paper #]SS2023-12,KBSE2023-23
Exploring the Magnetic or Sticky Nature of GitHub Ecosystems: NPM, PyPI, and Rubygems

Shurong Sun(Kyushu Univ.),  Olivier Nourry(Kyushu Univ.),  Dong Wang(Kyushu Univ.),  Yasutaka Kamei(Kyushu Univ.),  

[Date]2023-07-22
[Paper #]SS2023-17,KBSE2023-28
Preliminary study on contextualized API usage change patterns extraction.

Shunsuke Wakamatsu(Tokyo Tech.),  Takashi Kobayashi(Tokyo Tech.),  

[Date]2023-07-22
[Paper #]SS2023-16,KBSE2023-27
An exploratory study of linking between Stack Overflow and Language Documentation

Sentaro Onizuka(Osaka Univ.),  Tetsuya Kanda(Osaka Univ.),  Yuki Manabe(Univ. Fukuchiyama),  Yoshiki Higo(Osaka Univ.),  

[Date]2023-07-22
[Paper #]SS2023-18,KBSE2023-29
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.),  

[Date]2023-07-22
[Paper #]SS2023-20,KBSE2023-31
Extracting User Needs for Personalized Smart Services Using Dialogue Agent with LLM

Takuya Nakata(Kobe Univ.),  Sinan Chen(Kobe Univ.),  Sachio Saiki(Kochi Univ. of Tech.),  Masahide Nakamura(Kobe Univ.),  

[Date]2023-07-22
[Paper #]SS2023-19,KBSE2023-30