| 電子情報通信学会 研究会発表申込システム 研究会 開催スケジュール |
技報閲覧サービス [ログイン] 技報アーカイブ |
知能ソフトウェア工学研究会 (KBSE) (検索条件: 2019年度)
「from:2019-11-08 to:2019-11-08」による検索結果
| 研究会 | 発表日時 | 開催地 | タイトル・著者 | 抄録 | 資料番号 | |
| KBSE, SC (共催) |
2019-11-08 11:00 |
長野 | 信州大学 | word2vecとゴールモデルの階層性を利用した類似ゴール検出方法の提案 ○石川公一・小形真平（信州大）・中川博之（阪大）・岡野浩三（信州大）  KBSE2019-23 SC2019-20 |
ソフトウェア再利用に向けたゴールモデルの類似ゴール検出方法について，非形式な自然言語記述を与えたゴール間の類似性を精度良... [more] | KBSE2019-23 SC2019-20 pp.1-6 |
| KBSE, SC (共催) |
2019-11-08 11:30 |
長野 | 信州大学 | 不具合原因分析支援のためのNuSMV反例解析手法の試案 ○大池勇太郎・小形真平（信州大）・青木善貴（日本ユニシス）・中川博之（阪大）・小林一樹・岡野浩三（信州大） KBSE2019-24 SC2019-21 |
CPS(Cyber-Physical System)のように複数のモジュールが相互作用する大規模複雑なシステムを対象とし... [more] | KBSE2019-24 SC2019-21 pp.7-12 |
| KBSE, SC (共催) |
2019-11-08 12:00 |
長野 | 信州大学 | Web閲覧時におけるユーザー追跡保護と利便性確保の設定支援手法 ○良知悟実・岩田 一（神奈川工科大） KBSE2019-25 SC2019-22 |
Webサービスの提供者は,広告などの最適化のために個人情報に依らないユーザー識別を求めている.そのために,Webブラウザ... [more] | KBSE2019-25 SC2019-22 pp.13-18 |
| KBSE, SC (共催) |
2019-11-08 13:30 |
長野 | 信州大学 | TF-IDEと変分オートエンコーダーに基づく悪意のあるドメイン名の検出：量子サポートベクターマシンによる分類 ○孫 昱偉（東大）・Ng S. T. Chong（国連大）・落合秀也（東大） KBSE2019-26 SC2019-23 |
ネットワークテクノロジーの発展により、ドメインネームシステム(DNS)の使用が一般的になって いる。ただし、ゾ... [more] | KBSE2019-26 SC2019-23 pp.19-23 |
| KBSE, SC (共催) |
2019-11-08 14:00 |
長野 | 信州大学 | 文書間の類似度に基づいたトレーサビリティリンク精度向上手法の検討 ○東 和幸・中川博之・土屋達弘（阪大） KBSE2019-27 SC2019-24 |
ソフトウェア開発においては，仕様として与えられた機能が正しく実装されていることを検査するためにテストを実施する．しかし，... [more] | KBSE2019-27 SC2019-24 pp.25-30 |
| KBSE, SC (共催) |
2019-11-08 14:30 |
長野 | 信州大学 | 在宅高齢者を対象とした困りごと対処法推薦・共有サービスの提案 ○高槻大貴・佐伯幸郎・中村匡秀（神戸大）・安田 清（阪工大） KBSE2019-28 SC2019-25 |
日本では超高齢化社会を迎え、独居の在宅高齢者が増加している。独居在宅高齢者は困りごとに対して、自分ではどのように対処すれ... [more] | KBSE2019-28 SC2019-25 pp.31-36 |
| KBSE, SC (共催) |
2019-11-08 15:00 |
長野 | 信州大学 | IoTアプリケーションの再利用効率化による開発迅速化技術の研究 ○那須弘志・畑崎恵介（日立） KBSE2019-29 SC2019-26 |
近年、様々なデータやAI等の最新技術を活用し、新たな価値を提供するIoTアプリケーションの開発が広まっている。本研究では... [more] | KBSE2019-29 SC2019-26 pp.37-40 |
| KBSE, SC (共催) |
2019-11-08 15:40 |
長野 | 信州大学 | ある組込みシステムの開発と検証のケーススタディ ○岡野浩三・小形真平・夏目実希（信州大） KBSE2019-30 SC2019-27 |
組込みシステムの作成と設計検証を通じてとりわけ，未知の技術を初学者の技術者が取り組むときの課題点，作業について報告する．... [more] | KBSE2019-30 SC2019-27 pp.41-46 |
| KBSE, SC (共催) |
2019-11-08 16:10 |
長野 | 信州大学 | グラフアルゴリズムに対するメタモルフィックテスティング手法の提案 ○永井史優・土屋達弘（阪大） KBSE2019-31 SC2019-28 |
[more] | KBSE2019-31 SC2019-28 pp.47-52 |
| KBSE, SC (共催) |
2019-11-08 16:40 |
長野 | 信州大学 | 日本語要求記述からのクラス図生成支援ツール ○岡崎龍ノ介・大森隆行・大西 淳（立命館大） KBSE2019-32 SC2019-29 |
本研究では，XML表現で書かれたクラス図情報をクラス図として表現するツール（以下UMLtool）を活用し，日本語要求記述... [more] | KBSE2019-32 SC2019-29 pp.53-58 |
| KBSE, SC (共催) |
2019-11-09 10:00 |
長野 | 信州大学 | AI技術の適用可能性を評価するための業務分析手法 ○竹内広宜（武蔵大）・山本修一郎（名大） KBSE2019-33 SC2019-30 |
[more] | KBSE2019-33 SC2019-30 pp.59-64 |
| KBSE, SC (共催) |
2019-11-09 10:45 |
長野 | 信州大学 | 実プロジェクトにおける開発対象システムの保証に関する検討 ○猿渡卓也・矢野 操・大山 宏（NTTデータ） KBSE2019-34 SC2019-31 |
ITシステム開発プロジェクトでは，開発対象システムの保証に関する検討が様々なタイミングで実施される．本稿では，実プロジェ... [more] | KBSE2019-34 SC2019-31 pp.65-70 |
| KBSE, SC (共催) |
2019-11-09 11:30 |
長野 | 信州大学 | 疑問詞を用いたビジネスモデル記法の比較法 ○山本修一郎（名大） KBSE2019-35 SC2019-32 |
本稿ではビジネスモデルに関する質問が分類できることに着目して，ビジネスモデル表記法に共通する15要素を5つの疑問文で整理... [more] | KBSE2019-35 SC2019-32 pp.71-76 |
| KBSE, SC (共催) |
2019-11-09 13:15 |
長野 | 信州大学 | サービス視点の指標に基づいた機械学習モデル評価手法の提案 ○手塚 伸・畑崎恵介・保田淑子（日立） KBSE2019-36 SC2019-33 |
新たな価値を生み出すサービスとして，IT/OTデータを機械学習で分析し，生成されたモデルを活用するものが注目されている．... [more] | KBSE2019-36 SC2019-33 pp.77-82 |
| KBSE, SC (共催) |
2019-11-09 13:45 |
長野 | 信州大学 | 様々なマイクロサービスからなるITシステムに対する高効率パッケージ管理技術の提案 ○長沼佑樹・畑崎恵介（日立） KBSE2019-37 SC2019-34 |
近年のITサービスは、利用者に早く提供することが重要である。これを満たすためITシステムの開発では、マイクロサービスと呼... [more] | KBSE2019-37 SC2019-34 pp.83-88 |
[研究会発表申込システムのトップページに戻る]