11月8日(金) 午前 KBSE-1 10:55 - 12:30 |
|
10:55-11:00 |
委員長挨拶(KBSE) ( 5分 ) |
(1) |
11:00-11:30 |
word2vecとゴールモデルの階層性を利用した類似ゴール検出方法の提案 |
○石川公一・小形真平(信州大)・中川博之(阪大)・岡野浩三(信州大) |
(2) |
11:30-12:00 |
不具合原因分析支援のためのNuSMV反例解析手法の試案 |
○大池勇太郎・小形真平(信州大)・青木善貴(日本ユニシス)・中川博之(阪大)・小林一樹・岡野浩三(信州大) |
(3) |
12:00-12:30 |
Web閲覧時におけるユーザー追跡保護と利便性確保の設定支援手法 |
○良知悟実・岩田 一(神奈川工科大) |
|
12:30-13:30 |
昼食 ( 60分 ) |
11月8日(金) 午後 SC-1 ((5)はKBSE) 13:30 - 15:40 |
(4) |
13:30-14:00 |
TF-IDEと変分オートエンコーダーに基づく悪意のあるドメイン名の検出:量子サポートベクターマシンによる分類 |
○孫 昱偉(東大)・Ng S. T. Chong(国連大)・落合秀也(東大) |
(5) |
14:00-14:30 |
文書間の類似度に基づいたトレーサビリティリンク精度向上手法の検討 |
○東 和幸・中川博之・土屋達弘(阪大) |
(6) |
14:30-15:00 |
在宅高齢者を対象とした困りごと対処法推薦・共有サービスの提案 |
○高槻大貴・佐伯幸郎・中村匡秀(神戸大)・安田 清(阪工大) |
(7) |
15:00-15:30 |
IoTアプリケーションの再利用効率化による開発迅速化技術の研究 |
○那須弘志・畑崎恵介(日立) |
|
15:30-15:40 |
休憩 ( 10分 ) |
11月8日(金) 午後 KBSE-2 15:40 - 17:10 |
(8) |
15:40-16:10 |
ある組込みシステムの開発と検証のケーススタディ |
○岡野浩三・小形真平・夏目実希(信州大) |
(9) |
16:10-16:40 |
グラフアルゴリズムに対するメタモルフィックテスティング手法の提案 |
○永井史優・土屋達弘(阪大) |
(10) |
16:40-17:10 |
日本語要求記述からのクラス図生成支援ツール |
○岡崎龍ノ介・大森隆行・大西 淳(立命館大) |
11月9日(土) 午前 KBSE-3 10:00 - 12:15 |
(11) |
10:00-10:45 |
AI技術の適用可能性を評価するための業務分析手法 |
○竹内広宜(武蔵大)・山本修一郎(名大) |
(12) |
10:45-11:30 |
実プロジェクトにおける開発対象システムの保証に関する検討 |
○猿渡卓也・矢野 操・大山 宏(NTTデータ) |
(13) |
11:30-12:15 |
疑問詞を用いたビジネスモデル記法の比較法 |
○山本修一郎(名大) |
|
12:15-13:15 |
昼食 ( 60分 ) |
11月9日(土) 午後 SC-2 13:15 - 14:20 |
(14) |
13:15-13:45 |
サービス視点の指標に基づいた機械学習モデル評価手法の提案 |
○手塚 伸・畑崎恵介・保田淑子(日立) |
(15) |
13:45-14:15 |
様々なマイクロサービスからなるITシステムに対する高効率パッケージ管理技術の提案 |
○長沼佑樹・畑崎恵介(日立) |
|
14:15-14:20 |
委員長挨拶(SC) ( 5分 ) |