Fri, Nov 8 AM KBSE-1 10:55 - 12:30 |
|
10:55-11:00 |
Opening ( 5 min. ) |
(1) |
11:00-11:30 |
A Method to Detect Similar Goals between Goal Models using Hierarchy and word2vec |
Koichi Ishikawa, Shinpei Ogata (Shinshu Univ.), Hiroyuki Nakagawa (Osaka Univ.), Kozo Okano (Shinshu Univ.) |
(2) |
11:30-12:00 |
A Method to Analyze NuSMV Counterexamples for Defect Cause Analysis |
Yutaro Ohike, Shinpei Ogata (Shinshu Univ.), Yoshitaka Aoki (Nihon Unisys, Ltd.), Hiroyuki Nakagawa (Osaka Univ.), Kazuki Kobayashi, Kozo Okano (Shinshu Univ.) |
(3) |
12:00-12:30 |
A support method of the coordination with protection of web tracking and usefulness in Web browsing |
Satomi Rachi, hajime Iwata (KAIT) |
|
12:30-13:30 |
Lunch ( 60 min. ) |
Fri, Nov 8 PM SC-1 13:30 - 15:40 |
(4) |
13:30-14:00 |
Malicious Domain Names Detection Based on TF-IDE and Variational Autoencoder: Classification with Quantum-enhanced Support Vector Machine |
Yuwei Sun (UTokyo), Ng S. T. Chong (UNU), Hideya Ochiai (UTokyo) |
(5) |
14:00-14:30 |
|
|
(6) |
14:30-15:00 |
Suggestion and Sharing Service for Coping with Problems for the Elderly at Home |
Daiki Takatsuki, Sachio Saiki, Masahide Nakamura (Kobe Univ), Kiyoshi Yasuda (OIT) |
(7) |
15:00-15:30 |
Study on IoT Application Development Acceleration by Software Reuse Efficiency |
Hiroshi Nasu, Keisuke Hatasaki (Hitachi, Ltd.) |
|
15:30-15:40 |
Break ( 10 min. ) |
Fri, Nov 8 PM KBSE-2 15:40 - 17:10 |
(8) |
15:40-16:10 |
A Case-study for Developpment and Verification of an Embedded System |
Kozo Okano, Shinpei Ogata, Miki Natsume (Shinshu Univ.) |
(9) |
16:10-16:40 |
|
|
(10) |
16:40-17:10 |
A tool for genarating class diagrams using Japanese requirements documents |
Tatsunosuke Okazaki, Takayuki Omori, Atsushi Ohnishi (Ritsumeikan univ.) |
Sat, Nov 9 AM KBSE-3 10:00 - 12:15 |
(11) |
10:00-10:45 |
Method for assessing AI technologies used in Office Business |
Hironori Takeuchi (Musashi Univ.), Shuichiro Yamamoto (Nagoya Univ.) |
(12) |
10:45-11:30 |
Consideration of system assurance on real IT system development project |
Takuya Saruwatari, Misao Yano, Hiroshi Oyama (NTT DATA) |
(13) |
11:30-12:15 |
Common Feature Elements of Business Model Notations Using Interrogatives |
Shuichiro Yamamoto (Nagoya Univ.) |
|
12:15-13:15 |
Lunch ( 60 min. ) |
Sat, Nov 9 PM SC-2 13:15 - 14:20 |
(14) |
13:15-13:45 |
A Proposal of an Evaluation Method for Machine Learning Models based on Service Perspective Indicators |
Shin Tezuka, Keisuke Hatasaki, Yoshiko Yasuda (Hitachi Ltd.) |
(15) |
13:45-14:15 |
Proposal for Efficient Package Management Technology of Microservices |
Yuki Naganuma, Keisuke Hatasaki (Hitachi) |
|
14:15-14:20 |
Closing ( 5 min. ) |