|
|
| Chair |
|
Takuya Saruwatari (NTT Data) |
| Vice Chair |
|
Yoshinori Tanabe (Tsurumi Univ.) |
| Secretary |
|
Hideharu Kojima (Osaka Inst. of Tech.), Yutaro Kashiwa (NAIST) |
| Assistant |
|
Yoshitaka Aoki (BIPROGY), Hiroki Horita (Ibaraki Univ.) |
|
| Conference Date |
Thu, Mar 16, 2023 13:55 - 17:10
Fri, Mar 17, 2023 09:30 - 15:55 |
| Topics |
|
| Conference Place |
|
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 KBSE. |
Thu, Mar 16 PM
13:55 - 15:55 |
| (1) |
13:55-14:00 |
|
| (2) |
14:00-14:35 |
Dependency modeling between subsystems based on management data  KBSE2022-54 |
Takuya Saruwatari (NTTDATA) |
| (3) |
14:35-15:10 |
Modeling of Problem-Solving Knowledge for Machine Learning Projects KBSE2022-55 |
Hironori Takeuchi (Musashi Univ.), Shuichiro Yamamoto (NPUT) |
| (4) |
15:10-15:45 |
Traceability Management Method based on Informal/Semi-formal Hybrid Notation KBSE2022-56 |
Ryoji Okada, Yoshihiro Ohama, Seigo Ito (TCRDL) |
| |
15:45-15:55 |
Break ( 10 min. ) |
Thu, Mar 16 PM
15:55 - 17:10 |
| (5) |
15:55-16:20 |
Development and Experiment of Remote Play System for Universal Sports KBSE2022-57 |
Yuuto Kanai, Fumihiro Kumeno, Hidemi Yamachi (NIT) |
| (6) |
16:20-16:45 |
Hint Recommendation Method for learning Pythonic List Comprehension KBSE2022-58 |
Yu Imamoto, Erina Makihara, Yuto Shimazaki, Keiko Ono (Doshisha Univ.) |
| (7) |
16:45-17:10 |
A type preview tool in Python for beginner programmers KBSE2022-59 |
Masaki Tomoike, Kentaro Okino, Masanari Kondo, Yasutaka Kamei, Naoyasu Ubayashi (Kyushu Univ.) |
Fri, Mar 17 AM
09:30 - 12:50 |
| (8) |
09:30-10:05 |
Deepening relationship between system thinking and requirements engineering during the evolution of information systems KBSE2022-60 |
Shuichiro Yamamoto (IPUT in Nagoya) |
| (9) |
10:05-10:40 |
Towards reducing the risk of OSS adoption with survival analysis KBSE2022-61 |
Kazushi Tomoto, Hiroki Kuramoto (Kyushu Univ.), Shinobu Saito, Yukako Iimura (NTT), Masanari Kondo, Yasutaka Kamei, Naoyasu Ubayashi (Kyushu Univ.) |
| (10) |
10:40-11:15 |
Verification of Interaction between Functions in FRAM using Model Checking KBSE2022-62 |
Yoshitaka Aoki (BIPROGY), Kenji Hisazumi (Shibaura Inst. of Tech.) |
| (11) |
11:15-11:50 |
KBSE2022-63 |
|
| |
11:50-12:50 |
( 60 min. ) |
Fri, Mar 17 PM
12:50 - 14:10 |
| (12) |
12:50-13:25 |
On Family-based Model Checking based on Probabilistic Model Checker KBSE2022-64 |
Tomoji Kishi (Waseda Univ) |
| (13) |
13:25-14:00 |
A Note on Optimal Testcase Generation in Boundary Value Analysis KBSE2022-65 |
Xiujing Guo, Hiroyuki Okamura, Tadashi Dohi (Hiroshima Univ.) |
| |
14:00-14:10 |
Break ( 10 min. ) |
Fri, Mar 17 PM
14:10 - 15:55 |
| (14) |
14:10-14:35 |
Analyzing Business Processes by Automatically Detecting KPI Thresholds Based on Trace Variants KBSE2022-66 |
Taro Takei, Hiroki Horita (Ibaraki Univ.) |
| (15) |
14:35-15:00 |
Development of Co-Analysis Support Tool by Linking Simulink and SMT Solver KBSE2022-67 |
Engielista Anak Norman, Yoshikazu Ueda (Ibaraki Univ.) |
| (16) |
15:00-15:25 |
Investigating the Impact of Input Data Order on Automatic Code Generation with GitHub Copilot KBSE2022-68 |
Kotaro Noguchi, Kei Koyanagi, Masanari Kondo, Yasutaka Kamei, Naoyasu Ubayashi (Kyushu Univ.) |
| (17) |
15:25-15:50 |
Study of the Impact of Activity Status on OSS Project Continuation/Interruption KBSE2022-69 |
Yuga Kikuchi, Yoshikazu Ueda (Ibaraki Univ.) |
| (18) |
15:50-15:55 |
|
| Announcement for Speakers |
| General Talk (35) | Each speech will have 25 minutes for presentation and 10 minutes for discussion. |
| Young Researcher's Talk (25) | 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 |
KBSE Staff ML
E- : kb -s ff  |
| Announcement |
Latest information will be presented on the homepage:
http://www.ieice.org/iss/kbse/ |
Last modified: 2023-03-14 08:25:32
|