| 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) 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.) DATE: Thu, Mar 16, 2023 13:55 - 17:10 Fri, Mar 17, 2023 09:30 - 15:55 PLACE: TOPICS: ---------------------------------------- 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 Takuya Saruwatari (NTTDATA) (3) 14:35 - 15:10 Modeling of Problem-Solving Knowledge for Machine Learning Projects Hironori Takeuchi (Musashi Univ.), Shuichiro Yamamoto (NPUT) (4) 15:10 - 15:45 Traceability Management Method based on Informal/Semi-formal Hybrid Notation Ryoji Okada, Yoshihiro Ohama, Seigo Ito (TCRDL) ----- 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 Yuuto Kanai, Fumihiro Kumeno, Hidemi Yamachi (NIT) (6) 16:20 - 16:45 Hint Recommendation Method for learning Pythonic List Comprehension Yu Imamoto, Erina Makihara, Yuto Shimazaki, Keiko Ono (Doshisha Univ.) (7) 16:45 - 17:10 A type preview tool in Python for beginner programmers 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 Shuichiro Yamamoto (IPUT in Nagoya) (9) 10:05 - 10:40 Towards reducing the risk of OSS adoption with survival analysis 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 Yoshitaka Aoki (BIPROGY), Kenji Hisazumi (Shibaura Inst. of Tech.) (11) 11:15 - 11:50 (See Japanese page.) ----- ( 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 Tomoji Kishi (Waseda Univ) (13) 13:25 - 14:00 A Note on Optimal Testcase Generation in Boundary Value Analysis Xiujing Guo, Hiroyuki Okamura, Tadashi Dohi (Hiroshima Univ.) ----- 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 Taro Takei, Hiroki Horita (Ibaraki Univ.) (15) 14:35 - 15:00 Development of Co-Analysis Support Tool by Linking Simulink and SMT Solver 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 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 Yuga Kikuchi, Yoshikazu Ueda (Ibaraki Univ.) (18) 15:50 - 15:55 # Information for speakers General Talk (35) will have 25 minutes for presentation and 10 minutes for discussion. Young Researcher's Talk (25) will have 20 minutes for presentation and 5 minutes for discussion. === Technical Committee on Knowledge-Based Software Engineering (KBSE) === # FUTURE SCHEDULE: Fri, May 19, 2023 - Sat, May 20, 2023 (tentative): [Mon, Mar 13] # SECRETARY: KBSE Staff ML E-mail: 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 |
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 KBSE Schedule Page] /
| Go Top | Go Back | Prev KBSE Conf / Next KBSE Conf | [HTML] / [HTML(simple)] / [TEXT] | [Japanese] / [English] |
[Return to Top Page]