IEICE Technical Committee Submission System
Advance Program
Online Proceedings
[Sign in]
Tech. Rep. Archives
 Go Top  Go Back   Prev IPSJ-SE Conf / Next IPSJ-SE Conf [HTML] / [HTML(simple)] / [TEXT]  [Japanese] / [English] 

===============================================
Special Interest Group on Software Engineering (IPSJ-SE)


===============================================
Technical Committee on Software Science (SS)
Chair: Kozo Okano (Shinshu Univ.) Vice Chair: Yoshiki Higo (Osaka Univ.)
Secretary: Shinpei Ogata (Shinshu Univ.), Shinpei Hayashi (Tokyo Inst. of Tech.)
Assistant: Shinsuke Matsumoto (Osaka Univ.)

===============================================
Technical Committee on Knowledge-Based Software Engineering (KBSE)
Chair: Takuya Saruwatari (NTT Data) Vice Chair: Yoshinori Tanabe (Tsurumi Univ.)
Secretary: Yoshitaka Aoki (BIPROGY), Hiroki Horita (Ibaraki Univ.)
Assistant: TakaShi Kitamura (AIST), TakaFumi Tanaka (Tamagawa Univ.)

DATE:
Thu, Jul 20, 2023 13:45 - 17:50
Fri, Jul 21, 2023 09:30 - 17:50
Sat, Jul 22, 2023 09:30 - 15:30

PLACE:
Hokkaido Jichiro Kaikan 4F Hole / Virtual (Zoom)(7-5-3 Kita6-jonishi Kita-ku, Sapporo-shi, Hokkaido 060-0806 Japan https://h-jichirokaikan.jp/)

TOPICS:


----------------------------------------
Thu, Jul 20 PM (13:45 - 15:40)
----------------------------------------

----- Opening ( 15 min. ) -----

(1)/SS 14:00 - 14:25
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.)

(2)/SS 14:25 - 14:50
Experimental Evaluation of Large Language Model Vicuna's Accuracy in Detecting Violations of MISRA C:2012 Rules
Katsuhiko Fujie, Toshihiro Kamiya (Shimane univ.)

(3)/SS 14:50 - 15:15
CROOPLPP : A Reversible Concurrent Object-oriented Programming Language
Yusuke Akaike, Shoji Yuen (Nagoya Univ)

(4)/SS 15:15 - 15:40
Instruction Scheduling for GPUs Utilizing Subwarp Interleaving
Junji Fukuhara, Munehiro Takimoto (TUS)

----- Break ( 15 min. ) -----

----------------------------------------
Thu, Jul 20 PM (15:55 - 16:45)
----------------------------------------

(5)/KBSE 15:55 - 16:20
Specifying Software Requirements Documents of good quality based on ISO/IEC/IEEE29148
Atsushi Ohnishi (Ritsumeikan U.)

(6)/KBSE 16:20 - 16:45
Developing Location-Aware Service Platform Using Data Integration Platform
Tomoro Nakahashi, Sinan Chen, Masahide Nakamura (Kobe Univ.), Sachio Saiki (Kochi Univ. of Tech.)

----- Break ( 15 min. ) -----

----------------------------------------
Thu, Jul 20 PM (17:00 - 17:50)
----------------------------------------

(7) 17:00 - 17:25


(8) 17:25 - 17:50


----------------------------------------
Fri, Jul 21 AM (09:30 - 10:20)
----------------------------------------

(9) 09:30 - 09:55


(10) 09:55 - 10:20


----- Break ( 15 min. ) -----

----------------------------------------
Fri, Jul 21 AM (10:35 - 11:50)
----------------------------------------

(11)/SS 10:35 - 11:00
Effect of query reformulation on IR-based bug localization.
Ryosuke Inomata, Takashi Kobayashi (Tokyo Tech.)

(12)/SS 11:00 - 11:25
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.)

(13)/SS 11:25 - 11:50
(See Japanese page.)

----- Lunch Break ( 90 min. ) -----

----------------------------------------
Fri, Jul 21 PM (13:20 - 14:35)
----------------------------------------

(14) 13:20 - 13:45


(15) 13:45 - 14:10


(16) 14:10 - 14:35


----- Break ( 15 min. ) -----

----------------------------------------
Fri, Jul 21 PM (14:50 - 15:40)
----------------------------------------

(17)/SS 14:50 - 15:15
Evaluation of ChatGPT's Performance on Programming Course Assignments
Tomoya Suzuki, Toshihiro Kamiya (Shimane Univ.)

(18)/SS 15:15 - 15:40
Currentization of legacy algorithms
Fumihiko Ishiyama (NTT)

----- Break ( 15 min. ) -----

----------------------------------------
Fri, Jul 21 PM (15:55 - 16:45)
----------------------------------------

(19)/KBSE 15:55 - 16:20
NARUTO model: a Requirements Engineering Process for Incremental Developments
Takako Nakatani (OUJ), Atsushi Ohnishi (Ritsumeikan Univ.), Motoshi Saeki (Nanzan Univ.)

(20)/KBSE 16:20 - 16:45
Visual Programming Learning Environment Focusing on Unit Testing for Functional Programming
Kouki Asakawa, Takafumi Tanaka (Tamagawa Univ.)

----- Break ( 15 min. ) -----

----------------------------------------
Fri, Jul 21 PM (17:00 - 17:50)
----------------------------------------

(21)/KBSE 17:00 - 17:25
Programming Learning Support System Using Learning Logs from Digital Textbooks and Exercise Management Systems
Hatsune Ochiai, Takafumi Tanaka (Tamagawa Univ.)

(22)/KBSE 17:25 - 17:50
Development of a Support System for Learning Combination Testing
Kana Suetake, Takafumi Tanaka (Tamagawa Univ.)

----------------------------------------
Sat, Jul 22 AM (09:30 - 10:45)
----------------------------------------

(23)/SS 09:30 - 09:55
Preliminary study on contextualized API usage change patterns extraction.
Shunsuke Wakamatsu, Takashi Kobayashi (Tokyo Tech.)

(24)/SS 09:55 - 10:20
Exploring the Magnetic or Sticky Nature of GitHub Ecosystems: NPM, PyPI, and Rubygems
Shurong Sun, Olivier Nourry, Dong Wang, Yasutaka Kamei (Kyushu Univ.)

(25)/SS 10:20 - 10:45
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.)

----- Break ( 15 min. ) -----

----------------------------------------
Sat, Jul 22 AM (11:00 - 11:50)
----------------------------------------

(26)/KBSE 11:00 - 11:25
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.)

(27)/KBSE 11:25 - 11:50
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.)

----- Lunch Break ( 90 min. ) -----

----------------------------------------
Sat, Jul 22 PM (13:20 - 14:10)
----------------------------------------

(28) 13:20 - 13:45


(29) 13:45 - 14:10


----- Break ( 15 min. ) -----

----------------------------------------
Sat, Jul 22 PM (14:25 - 15:30)
----------------------------------------

(30) 14:25 - 14:50


(31) 14:50 - 15:15


----- Closing ( 15 min. ) -----

# Information for speakers
General Talk will have 20 minutes for presentation and 5 minutes for discussion.


=== Special Interest Group on Software Engineering (IPSJ-SE) ===

# SECRETARY:
Masanari Kondo (Kyushu Univ.) E-mail: naitkshu-u
Hironori Takeuchi (Musashi Univ.) E-mail: hucc

# ANNOUNCEMENT:
# Latest information will be presented on the homepage:
https://www.sigse.jp/

=== Technical Committee on Software Science (SS) ===
# FUTURE SCHEDULE:

Wed, Oct 11, 2023 - Thu, Oct 12, 2023: [Fri, Aug 11]

# SECRETARY:
Shinpei Ogata (Shinshu University)
E-mail: onshu-u

# ANNOUNCEMENT:
# Latest information will be presented on the homepage:
https://www.ieice.org/iss/ss/

=== Technical Committee on Knowledge-Based Software Engineering (KBSE) ===

# SECRETARY:
Yoshitaka Aoki(BIPROGY)
E-mail: aobipgy

# ANNOUNCEMENT:
# Latest information will be presented on the homepage:
http://www.ieice.org/iss/kbse/


Last modified: 2023-07-08 05:29:28


Notification: Mail addresses are partially hidden against SPAM.

[Download Paper's Information (in Japanese)] <-- Press download button after click here.
 
[Cover and Index of IEICE Technical Report by Issue]
 

[Presentation and Participation FAQ] (in Japanese)
 

[Return to SS Schedule Page]   /   [Return to KBSE Schedule Page]   /   [Return to IPSJ-SE Schedule Page]   /  
 
 Go Top  Go Back   Prev IPSJ-SE Conf / Next IPSJ-SE Conf [HTML] / [HTML(simple)] / [TEXT]  [Japanese] / [English] 


[Return to Top Page]

[Return to IEICE Web Page]


The Institute of Electronics, Information and Communication Engineers (IEICE), Japan