|
|
| 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.) |
|
|
|
| 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.) |
|
| 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 Talk | Each 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- : o      nshu-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-:   ao bip gy |
| 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-:  n aitk shu-u
Hironori Takeuchi (Musashi Univ.) E-: h u cc  |
| Announcement |
Latest information will be presented on the homepage:
https://www.sigse.jp/ |
Last modified: 2023-07-08 05:29:28
|