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


Technical Committee on Software Science (SS) [schedule] [select]
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) [schedule] [select]
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.)

Special Interest Group on Software Engineering (IPSJ-SE) [schedule] [select]

Conference 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
Topics  
Conference Place Hokkaido Jichiro Kaikan 4F Hole / Virtual (Zoom) 
Address 7-5-3 Kita6-jonishi Kita-ku, Sapporo-shi, Hokkaido 060-0806 Japan https://h-jichirokaikan.jp/
Copyright
and
reproduction
All rights are reserved and no part of this publication may be reproduced or transmitted in any form or by any means, electronic or mechanical, including photocopy, recording, or any information storage and retrieval system, without permission in writing from the publisher. Notwithstanding, instructors are permitted to photocopy isolated articles for noncommercial classroom use without fee. (License No.: 10GA0019/12GB0052/13GB0056/17GB0034/18GB0034)
Registration Fee This workshop will be held as the IEICE workshop in fully electronic publishing. Registration fee will be necessary except the speakers and participants other than the participants to workshop(s) in non-electronic publishing. See the registration fee page. We request the registration fee or presentation fee to participants who will attend the workshop(s) on SS, KBSE.

Thu, Jul 20 PM 
13:45 - 15:40
  13:45-14:00 Opening ( 15 min. )
(1)
SS
14:00-14:25 Design of a Software Architecture for Risk Assessment Systems Using Machine Learning SS2023-1 KBSE2023-12 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 SS2023-2 KBSE2023-13 Katsuhiko Fujie, Toshihiro Kamiya (Shimane univ.)
(3)
SS
14:50-15:15 CROOPLPP : A Reversible Concurrent Object-oriented Programming Language SS2023-3 KBSE2023-14 Yusuke Akaike, Shoji Yuen (Nagoya Univ)
(4)
SS
15:15-15:40 Instruction Scheduling for GPUs Utilizing Subwarp Interleaving SS2023-4 KBSE2023-15 Junji Fukuhara, Munehiro Takimoto (TUS)
  15:40-15:55 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 SS2023-5 KBSE2023-16 Atsushi Ohnishi (Ritsumeikan U.)
(6)
KBSE
16:20-16:45 Developing Location-Aware Service Platform Using Data Integration Platform SS2023-6 KBSE2023-17 Tomoro Nakahashi, Sinan Chen, Masahide Nakamura (Kobe Univ.), Sachio Saiki (Kochi Univ. of Tech.)
  16:45-17:00 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  
  10:20-10:35 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. SS2023-7 KBSE2023-18 Ryosuke Inomata, Takashi Kobayashi (Tokyo Tech.)
(12)
SS
11:00-11:25 A tool for vulnerability assessment and checksum verification using SPDX documents SS2023-8 KBSE2023-19 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 SS2023-9 KBSE2023-20
  11:50-13:20 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  
  14:35-14:50 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 SS2023-10 KBSE2023-21 Tomoya Suzuki, Toshihiro Kamiya (Shimane Univ.)
(18)
SS
15:15-15:40 Currentization of legacy algorithms SS2023-11 KBSE2023-22 Fumihiko Ishiyama (NTT)
  15:40-15:55 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 SS2023-12 KBSE2023-23 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 SS2023-13 KBSE2023-24 Kouki Asakawa, Takafumi Tanaka (Tamagawa Univ.)
  16:45-17:00 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 SS2023-14 KBSE2023-25 Hatsune Ochiai, Takafumi Tanaka (Tamagawa Univ.)
(22)
KBSE
17:25-17:50 Development of a Support System for Learning Combination Testing SS2023-15 KBSE2023-26 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. SS2023-16 KBSE2023-27 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 SS2023-17 KBSE2023-28 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 SS2023-18 KBSE2023-29 Sentaro Onizuka, Tetsuya Kanda (Osaka Univ.), Yuki Manabe (Univ. Fukuchiyama), Yoshiki Higo (Osaka Univ.)
  10:45-11:00 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 SS2023-19 KBSE2023-30 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 SS2023-20 KBSE2023-31 Yoshitaka Aoki (BIPROGY), Shinpei Ogata (Shinshu Univ.), Hiroyuki Nkagawa (Osaka Univ.), Kazuki Kobayashi (Shinshu Univ.)
  11:50-13:20 Lunch Break ( 90 min. )
Sat, Jul 22 PM 
13:20 - 14:10
(28) 13:20-13:45  
(29) 13:45-14:10  
  14:10-14:25 Break ( 15 min. )
Sat, Jul 22 PM 
14:25 - 15:30
(30) 14:25-14:50  
(31) 14:50-15:15  
  15:15-15:30 Closing ( 15 min. )

Announcement for Speakers
General TalkEach speech will have 20 minutes for presentation and 5 minutes for discussion.

Contact Address and Latest Schedule Information
SS Technical Committee on Software Science (SS)   [Latest Schedule]
Contact Address Shinpei Ogata (Shinshu University)
E--mail: onshu-u 
Announcement Latest information will be presented on the homepage:
https://www.ieice.org/iss/ss/
KBSE Technical Committee on Knowledge-Based Software Engineering (KBSE)   [Latest Schedule]
Contact Address Yoshitaka Aoki(BIPROGY)
E--mail: aobipgy 
Announcement Latest information will be presented on the homepage:
http://www.ieice.org/iss/kbse/
IPSJ-SE Special Interest Group on Software Engineering (IPSJ-SE)   [Latest Schedule]
Contact Address 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/


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   / [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