情報・システム-画像工学(開催日:2015/07/22)

タイトル/著者/発表日/資料番号
プレファクタリングのための不吉な臭いの検出結果の優先順位付け

セーリム ナッタウット(東工大),  林 晋平(東工大),  佐伯 元司(東工大),  

[発表日]2015-07-22
[資料番号]SS2015-16,KBSE2015-9
設計書に基づくWebアプリのシナリオテスト向けテスト項目抽出手法

張 暁晶(NTT),  丹野 治門(NTT),  

[発表日]2015-07-22
[資料番号]SS2015-17,KBSE2015-10
分散型版管理リポジトリでの作業履歴記録ツールの試作

松田 淳平(東工大),  林 晋平(東工大),  佐伯 元司(東工大),  

[発表日]2015-07-22
[資料番号]SS2015-18,KBSE2015-11
ソースコード変更時の影響波及解析を目的とした表現法と影響の可視化法の提案

大久保 建男(岩手県立大),  福原 和哉(i-MOS),  晴澤 陽太(岩手県立大),  猪股 俊光(岩手県立大),  新井 義和(岩手県立大),  今井 信太郎(岩手県立大),  

[発表日]2015-07-22
[資料番号]SS2015-19,KBSE2015-12
ビッグデータとクラウドを想定したフォールトデータクラスタリングに基づくソフトウェア信頼性評価法

田村 慶信(山口大),  信川 ゆみ(鳥取大),  山田 茂(鳥取大),  

[発表日]2015-07-23
[資料番号]SS2015-25,KBSE2015-18
データバインディングを利用したRIA UI設計のモデル検査

岩塚 卓弥(NTT),  大島 剛志(NTT),  榎本 俊文(NTT),  

[発表日]2015-07-23
[資料番号]SS2015-28,KBSE2015-21
セキュリティ,プライバシー向け共通問題EMSsecの提案

大久保 隆夫(情報セキュリティ大),  海谷 治彦(神奈川大),  鷲崎 弘宣(早大),  小形 真平(信州大),  柿崎 淑郎(東京電機大),  櫨山 淳雄(学芸大),  吉岡 信和(NII),  

[発表日]2015-07-23
[資料番号]SS2015-22,KBSE2015-15
依存関係に基づく括出し法

那須 孝志(東京理科大),  滝本 宗宏(東京理科大),  

[発表日]2015-07-23
[資料番号]SS2015-20,KBSE2015-13
オープンソース開発における開発者ごとでのコメント記述の傾向に関する調査

中野 貴史(愛媛大),  佐々木 隆志(愛媛大),  川原 稔(愛媛大),  阿萬 裕久(愛媛大),  

[発表日]2015-07-23
[資料番号]SS2015-26,KBSE2015-19
自動バグ修正における対応可能バグ数の拡充に向けて

鷲見 創一(阪大),  肥後 芳樹(阪大),  楠本 真二(阪大),  

[発表日]2015-07-23
[資料番号]SS2015-27,KBSE2015-20
IoTセンサーのデータを使ったリアルタイム避難計画立案の構想

飯島 正(慶大),  

[発表日]2015-07-23
[資料番号]SS2015-23,KBSE2015-16
要求仕様における関心事の分離によるモデル駆動開発手法

川合 怜(芝浦工大),  松浦 佐江子(芝浦工大),  

[発表日]2015-07-23
[資料番号]SS2015-24,KBSE2015-17
適用保護手法の特定の試み

匂坂 勇仁(京都産大),  玉田 春昭(京都産大),  

[発表日]2015-07-23
[資料番号]SS2015-21,KBSE2015-14
AlloyとEvent-Bを用いる2段階モデリング手法

中島 震(NII),  

[発表日]2015-07-24
[資料番号]SS2015-32,KBSE2015-25
Atelier-Bによる形式検証手法の試行評価

山本 椋太(名大),  山本 修一郎(名大),  

[発表日]2015-07-24
[資料番号]SS2015-29,KBSE2015-22
UMLモデリング教育を支援するルールベースのクラス図採点支援ツール

宮島 和音(信州大),  小形 真平(信州大),  香山 瑞恵(信州大),  岡野 浩三(信州大),  

[発表日]2015-07-24
[資料番号]SS2015-30,KBSE2015-23
融合ゴール指向要求分析法におけるメトリクスを用いたAs-Isモデルの問題点発見手法

伊藤 翔一朗(東工大),  林 晋平(東工大),  佐伯 元司(東工大),  

[発表日]2015-07-24
[資料番号]SS2015-31,KBSE2015-24
パターン除去による制約付き項書換え系の等価変換

長尾 貴浩(名大),  西田 直樹(名大),  酒井 正彦(名大),  

[発表日]2015-07-24
[資料番号]SS2015-33,KBSE2015-26
SPINを用いたVDM仕様に対するモデル検査適用手法

林 信宏(九大),  大森 洋一(九大),  日下部 茂(九大),  荒木 啓二郎(九大),  

[発表日]2015-07-24
[資料番号]SS2015-34,KBSE2015-27