|
|
| Chair |
|
Fumihiro Kumeno (Nippon Inst. of Tech.) |
| Vice Chair |
|
Hiroyuki Nakagawa (Osaka Univ.) |
| Secretary |
|
Ryuichi Takahashi (Ibaraki Univ.), Yoshinori Tanabe (Tsurumi Univ.) |
| Assistant |
|
Nahomi Kikuchi (OKi), Tomoko Kaneko (NII) |
|
|
|
| Chair |
|
Masahide Nakamura (Kobe Univ.) |
| Vice Chair |
|
Shinji Kikuchi (NIMS), Yoji Yamato (NTT) |
| Secretary |
|
Shigeru Hosono (Tokyo Univ. of Tech.), Kosaku Kimura (Fujitsu Lab.) |
|
| Conference Date |
Fri, Nov 8, 2019 10:55 - 17:10
Sat, Nov 9, 2019 10:00 - 14:20 |
| Topics |
|
| Conference Place |
|
| Transportation Guide |
https://www.shinshu-u.ac.jp/guidance/guide/nagano_technology/#campusmap |
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, SC. |
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  KBSE2019-23 SC2019-20 |
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 KBSE2019-24 SC2019-21 |
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 KBSE2019-25 SC2019-22 |
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 KBSE2019-26 SC2019-23 |
Yuwei Sun (UTokyo), Ng S. T. Chong (UNU), Hideya Ochiai (UTokyo) |
| (5) |
14:00-14:30 |
KBSE2019-27 SC2019-24 |
|
| (6) |
14:30-15:00 |
Suggestion and Sharing Service for Coping with Problems for the Elderly at Home KBSE2019-28 SC2019-25 |
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 KBSE2019-29 SC2019-26 |
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 KBSE2019-30 SC2019-27 |
Kozo Okano, Shinpei Ogata, Miki Natsume (Shinshu Univ.) |
| (9) |
16:10-16:40 |
KBSE2019-31 SC2019-28 |
|
| (10) |
16:40-17:10 |
A tool for genarating class diagrams using Japanese requirements documents KBSE2019-32 SC2019-29 |
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 KBSE2019-33 SC2019-30 |
Hironori Takeuchi (Musashi Univ.), Shuichiro Yamamoto (Nagoya Univ.) |
| (12) |
10:45-11:30 |
Consideration of system assurance on real IT system development project KBSE2019-34 SC2019-31 |
Takuya Saruwatari, Misao Yano, Hiroshi Oyama (NTT DATA) |
| (13) |
11:30-12:15 |
Common Feature Elements of Business Model Notations Using Interrogatives KBSE2019-35 SC2019-32 |
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 KBSE2019-36 SC2019-33 |
Shin Tezuka, Keisuke Hatasaki, Yoshiko Yasuda (Hitachi Ltd.) |
| (15) |
13:45-14:15 |
Proposal for Efficient Package Management Technology of Microservices KBSE2019-37 SC2019-34 |
Yuki Naganuma, Keisuke Hatasaki (Hitachi) |
| |
14:15-14:20 |
Closing ( 5 min. ) |
| Announcement for Speakers |
| General Talk (ロング) | Each speech will have 30 minutes for presentation and 15 minutes for discussion. |
| General Talk (ショート) | Each speech will have 20 minutes for presentation and 10 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/ |
| SC |
Technical Committee on Service Computing (SC) [Latest Schedule]
|
| Contact Address |
|
Last modified: 2019-11-07 17:23:22
|