情報・システム-知能ソフトウェア工学(開催日:2018/07/18)

タイトル/著者/発表日/資料番号
カバリングアレイの事後最適化による組み合わせテストでの不具合特定の実現

金 浩(阪大),  土屋 達弘(阪大),  

[発表日]2018-07-18
[資料番号]SS2018-7,KBSE2018-17
組み込みシステムに対する安全な機能追加手法の考察

土田 真也(阪大),  中川 博之(阪大),  土屋 達弘(阪大),  

[発表日]2018-07-18
[資料番号]SS2018-8,KBSE2018-18
STAMP/STPAの鉄道踏切「とりこ検知」例題に対するモデル検査適用と考察

楊 ?(信州大),  辛島 凛(信州大),  岡野 浩三(信州大),  小形 真平(信州大),  

[発表日]2018-07-18
[資料番号]SS2018-6,KBSE2018-16
IoTネットワークにおける障害耐性の高いトポロジー生成

太田 光雅(早大),  高橋 竜一(茨城大),  深澤 良彰(早大),  

[発表日]2018-07-18
[資料番号]SS2018-10,KBSE2018-20
類似するコーディングパターンの利用状況調査ツールの提案

小笠原 康貴(阪大),  神田 哲也(阪大),  井上 克郎(阪大),  

[発表日]2018-07-18
[資料番号]SS2018-1,KBSE2018-11
コントロールループに着目したIoTアーキテクチャモデルの検証に関する一考察

青木 善貴(NUL),  小形 真平(信州大),  小林 一樹(信州大),  中川 博之(阪大),  

[発表日]2018-07-18
[資料番号]SS2018-11,KBSE2018-21
時間付き可逆プロセス計算

山本 暁(名大),  結縁 祥治(名大),  

[発表日]2018-07-18
[資料番号]SS2018-5,KBSE2018-15
状態遷移学習による分散協調システムの異常診断法

渡邉 陽介(名大),  佐藤 守一(豊田中研),  関 浩之(名大),  結縁 祥治(名大),  

[発表日]2018-07-18
[資料番号]SS2018-3,KBSE2018-13
開発者の活動量の経時的変化がコミッター候補者予測に与える影響の分析

山崎 大輝(和歌山大),  大平 雅雄(和歌山大),  伊原 彰紀(和歌山大),  柏 祐太郎(和歌山大),  宮崎 智己(和歌山大),  

[発表日]2018-07-18
[資料番号]SS2018-4,KBSE2018-14
ECサイトの検索機能へのメタモルフィック・テスティングの適用

永井 史優(阪大),  土屋 達弘(阪大),  

[発表日]2018-07-18
[資料番号]SS2018-9,KBSE2018-19
自動フ?ロク?ラム修正手法を用いた自動リファクタリンク?ツールの試作

谷門 照斗(阪大),  肥後 芳樹(阪大),  楠本 真二(阪大),  

[発表日]2018-07-18
[資料番号]SS2018-2,KBSE2018-12
メソッド入退出情報を利用した階層的欠陥箇所特定支援手法

原口 大和(東工大),  野田 訓広(東工大),  小林 隆志(東工大),  

[発表日]2018-07-19
[資料番号]SS2018-12,KBSE2018-22
仮想ファイルシステムを用いたプログラム内部状態観測ツールの試作

平ノ内 奎太(東工大),  野田 訓広(東工大),  小林 隆志(東工大),  

[発表日]2018-07-19
[資料番号]SS2018-13,KBSE2018-23
Concurrent Execution Semantics of the Functional Programming Language in Continuation Passing Style Based on the Actor Model

小島 渚(広島市大),  島 和之(広島市大),  中田 明夫(広島市大),  

[発表日]2018-07-19
[資料番号]SS2018-14,KBSE2018-24
アジャイル開発における生産性評価法の一検討

秦泉寺 久美(NTT),  羽室 大介(NTT),  

[発表日]2018-07-20
[資料番号]SS2018-17,KBSE2018-27
オープンなスマートモビリティ市場におけるサービスの開発と運用

中西 恒夫(福岡大),  久住 憲嗣(九大),  安藤 崇央(九大),  峯 恒憲(九大),  福田 晃(九大),  

[発表日]2018-07-20
[資料番号]SS2018-15,KBSE2018-25
属性の適切さに注目した概念データモデル自動評価手法

田中 昂文(東京農工大),  橋浦 弘明(日本工大),  櫨山 淳雄(学芸大),  毛利 考佑(東京農工大),  金子 敬一(東京農工大),  

[発表日]2018-07-20
[資料番号]SS2018-16,KBSE2018-26