Committee |
Date Time |
Place |
Paper Title / Authors |
Abstract |
Paper # |
KBSE, SC |
2019-11-08 11:00 |
Nagano |
Shinshu University |
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.) KBSE2019-23 SC2019-20 |
The method for software reuse has a problem that can't detect similar goals that described natural language. In this stu... [more] |
KBSE2019-23 SC2019-20 pp.1-6 |
KBSE, SC |
2019-11-08 11:30 |
Nagano |
Shinshu University |
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.) KBSE2019-24 SC2019-21 |
Many state variables that are defined in a model may appear as conditional expressions in one specification on model che... [more] |
KBSE2019-24 SC2019-21 pp.7-12 |
KBSE, SC |
2019-11-08 12:00 |
Nagano |
Shinshu University |
A support method of the coordination with protection of web tracking and usefulness in Web browsing Satomi Rachi, hajime Iwata (KAIT) KBSE2019-25 SC2019-22 |
Web service provider demands user identification not to depend on personal information for the advertisements optimizati... [more] |
KBSE2019-25 SC2019-22 pp.13-18 |
KBSE, SC |
2019-11-08 13:30 |
Nagano |
Shinshu University |
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) KBSE2019-26 SC2019-23 |
With the development of network technology, the use of domain name system (DNS) becomes common. However, the attacks on ... [more] |
KBSE2019-26 SC2019-23 pp.19-23 |
KBSE, SC |
2019-11-08 14:00 |
Nagano |
Shinshu University |
KBSE2019-27 SC2019-24 |
(To be available after the conference date) [more] |
KBSE2019-27 SC2019-24 pp.25-30 |
KBSE, SC |
2019-11-08 14:30 |
Nagano |
Shinshu University |
Suggestion and Sharing Service for Coping with Problems for the Elderly at Home Daiki Takatsuki, Sachio Saiki, Masahide Nakamura (Kobe Univ), Kiyoshi Yasuda (OIT) KBSE2019-28 SC2019-25 |
In Japan, the number of elderly living alone is increasing due to the super-aging society. The elderly living alone have... [more] |
KBSE2019-28 SC2019-25 pp.31-36 |
KBSE, SC |
2019-11-08 15:00 |
Nagano |
Shinshu University |
Study on IoT Application Development Acceleration by Software Reuse Efficiency Hiroshi Nasu, Keisuke Hatasaki (Hitachi, Ltd.) KBSE2019-29 SC2019-26 |
A number of companies have recently started implementing IoT applications that use various types of data and new technol... [more] |
KBSE2019-29 SC2019-26 pp.37-40 |
KBSE, SC |
2019-11-08 15:40 |
Nagano |
Shinshu University |
A Case-study for Developpment and Verification of an Embedded System Kozo Okano, Shinpei Ogata, Miki Natsume (Shinshu Univ.) KBSE2019-30 SC2019-27 |
Through a development of an embedded system and design verification, we report on the issues and workload when novice en... [more] |
KBSE2019-30 SC2019-27 pp.41-46 |
KBSE, SC |
2019-11-08 16:10 |
Nagano |
Shinshu University |
KBSE2019-31 SC2019-28 |
[more] |
KBSE2019-31 SC2019-28 pp.47-52 |
KBSE, SC |
2019-11-08 16:40 |
Nagano |
Shinshu University |
A tool for genarating class diagrams using Japanese requirements documents Tatsunosuke Okazaki, Takayuki Omori, Atsushi Ohnishi (Ritsumeikan univ.) KBSE2019-32 SC2019-29 |
The purpose of this research is to generate a class diagram semi-automatically from a Japanese requirements description ... [more] |
KBSE2019-32 SC2019-29 pp.53-58 |
KBSE, SC |
2019-11-09 10:00 |
Nagano |
Shinshu University |
Method for assessing AI technologies used in Office Business Hironori Takeuchi (Musashi Univ.), Shuichiro Yamamoto (Nagoya Univ.) KBSE2019-33 SC2019-30 |
[more] |
KBSE2019-33 SC2019-30 pp.59-64 |
KBSE, SC |
2019-11-09 10:45 |
Nagano |
Shinshu University |
Consideration of system assurance on real IT system development project Takuya Saruwatari, Misao Yano, Hiroshi Oyama (NTT DATA) KBSE2019-34 SC2019-31 |
Many individual considerations to assure the system are occurred in IT system development project. In this paper, we inv... [more] |
KBSE2019-34 SC2019-31 pp.65-70 |
KBSE, SC |
2019-11-09 11:30 |
Nagano |
Shinshu University |
Common Feature Elements of Business Model Notations Using Interrogatives Shuichiro Yamamoto (Nagoya Univ.) KBSE2019-35 SC2019-32 |
In this paper, focusing on the classification of business model questions, we propose a unified method for comparing var... [more] |
KBSE2019-35 SC2019-32 pp.71-76 |
KBSE, SC |
2019-11-09 13:15 |
Nagano |
Shinshu University |
A Proposal of an Evaluation Method for Machine Learning Models based on Service Perspective Indicators Shin Tezuka, Keisuke Hatasaki, Yoshiko Yasuda (Hitachi Ltd.) KBSE2019-36 SC2019-33 |
The new services with machine learning models which generated from IT / OT data attract attention. On the other hand, es... [more] |
KBSE2019-36 SC2019-33 pp.77-82 |
KBSE, SC |
2019-11-09 13:45 |
Nagano |
Shinshu University |
Proposal for Efficient Package Management Technology of Microservices Yuki Naganuma, Keisuke Hatasaki (Hitachi) KBSE2019-37 SC2019-34 |
It’s important to provide users with IT services in a short span from idea to release. To satisfy this requirement, deve... [more] |
KBSE2019-37 SC2019-34 pp.83-88 |