ken-system: Advance Program - 2023-07-SS-KBSE-IPSJ-SE

IEICE Technical Committee Submission System
Advance Program

Online Proceedings
[Sign in]
Tech. Rep. Archives

Go Top

Go Back

Prev KBSE Conf / Next KBSE Conf

[HTML] / [HTML(simple)] / [TEXT]

[Japanese] / [English]

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.)

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.)

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/
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	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)
	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	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.)
	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.	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
	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	Tomoya Suzuki, Toshihiro Kamiya (Shimane Univ.)
(18) SS	15:15-15:40	Currentization of legacy algorithms	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	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.)
	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	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.)
	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	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.)
	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
KBSE	Technical Committee on Knowledge-Based Software Engineering (KBSE) [Latest Schedule]
	Contact Address	Yoshitaka Aoki（BIPROGY） E-: aobipgy
	Announcement	Latest information will be presented on the homepage: http://www.ieice.org/iss/kbse/
SS	Technical Committee on Software Science (SS) [Latest Schedule]
	Contact Address	Shinpei Ogata (Shinshu University) E-: onshu-u
	Announcement	Latest information will be presented on the homepage: https://www.ieice.org/iss/ss/
IPSJ-SE	Special Interest Group on Software Engineering (IPSJ-SE) [Latest Schedule]
	Contact Address	Masanari Kondo (Kyushu Univ.) E-: naitkshu-u Hironori Takeuchi (Musashi Univ.) E-: hucc
	Announcement	Latest information will be presented on the homepage: https://www.sigse.jp/