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

タイトル/著者/発表日/資料番号
プログラム理解のためのスライシング基準自動設定用メトリクス

増原 孝昭(同志社大),  芳賀 博英(同志社大),  

[発表日]2017-07-19
[資料番号]SS2017-4,KBSE2017-4
IoTシステムアーキテクチャのモデリング記法によるモデル検査支援手法の試作と評価

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

[発表日]2017-07-19
[資料番号]SS2017-5,KBSE2017-5
木文法に基づくグラフ圧縮法および圧縮グラフに対する頂点選択問合せ評価法

武田 健志(名大),  橋本 健二(名大),  関 浩之(名大),  

[発表日]2017-07-19
[資料番号]SS2017-1,KBSE2017-1
実行トレース間のデータの差異に基づくデータフロー解析手法の提案

神谷 年洋(島根大),  

[発表日]2017-07-19
[資料番号]SS2017-10,KBSE2017-10
オブジェクトの正規性を重視して存在従属関連を用いたドメインモデリング手法

金田 重郎(同志社大),  井田 明男(同志社大),  森本 悠介(同志社大),  

[発表日]2017-07-19
[資料番号]SS2017-7,KBSE2017-7
メトリクス計測や解析のためのソースコード平坦化

肥後 芳樹(阪大),  楠本 真二(阪大),  

[発表日]2017-07-19
[資料番号]SS2017-11,KBSE2017-11
レガシーシステムからの隠れ業務ルールの推定技術の検討

井上 雅之(NTT),  神 明夫(NTT),  堀川 桂太郎(NTT),  和泉 憲明(産総研),  

[発表日]2017-07-19
[資料番号]SS2017-13,KBSE2017-13
IoT活用システムへのゴール指向要求分析の適用に関する考察

岡野 道太郎(筑波大),  中谷 多哉子(放送大),  

[発表日]2017-07-19
[資料番号]SS2017-8,KBSE2017-8
ソフトウェア工学分野における探索的手法の近年の動向について

木村 功作(富士通研),  倉田 涼史(富士通研),  佐々木 裕介(富士通研),  谷田 英生(富士通研),  チョーダリー シュリダル(富士通研),  徳本 晋(富士通研),  西村 駿人(富士通研),  

[発表日]2017-07-19
[資料番号]SS2017-9,KBSE2017-9
Javaソースファイルの開発者数とバグ修正の起こりやすさに関する調査

山内 一輝(愛媛大),  阿萬 裕久(愛媛大),  川原 稔(愛媛大),  

[発表日]2017-07-19
[資料番号]SS2017-12,KBSE2017-12
端末交通システムにおける運行スケジュールのモデル検査法を用いたデッドロック検出手法

辻 光顕(筑波大),  長谷部 浩二(筑波大),  加藤 和彦(筑波大),  

[発表日]2017-07-19
[資料番号]SS2017-2,KBSE2017-2
車載ソフトウェアのためのダイナミックマップにおける動的情報の信頼性検証法

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

[発表日]2017-07-19
[資料番号]SS2017-3,KBSE2017-3
ハードウェアと環境とのインタラクションに着目した制御モデルのアジャイル開発

西川 俊(芝浦工大),  松浦 佐江子(芝浦工大),  

[発表日]2017-07-19
[資料番号]SS2017-6,KBSE2017-6
行動履歴分析に基づく変更支援における部分履歴抽出の影響調査

藤原 拓海(東工大),  小林 隆志(東工大),  

[発表日]2017-07-19
[資料番号]SS2017-14,KBSE2017-14
ソースコード部分の特徴への対話的アノテーション付与の枠組み

中山 健(津田塾大),  田野 俊一(電通大),  橋山 智訓(電通大),  

[発表日]2017-07-19
[資料番号]SS2017-15,KBSE2017-15
組込みソフトウェアを対象とした状態遷移表の抽出と分析支援の検討

山本 椋太(名大),  吉田 則裕(名大),  青木 奈央(JASA),  高田 広章(名大),  

[発表日]2017-07-20
[資料番号]SS2017-16,KBSE2017-16
制約付き項書換え系の依存鎖を上限付き整数増加列に変換する多項式解釈

笹野 智裕(名大),  西田 直樹(名大),  酒井 正彦(名大),  上山 智也(名大),  

[発表日]2017-07-20
[資料番号]SS2017-17,KBSE2017-17
再帰呼び出しを持つC言語サブセットからMalbolgeへのコンパイラ

坂梨 元軌(名大),  河邉 翔平(名大),  酒井 正彦(名大),  西田 直樹(名大),  橋本 健二(名大),  

[発表日]2017-07-20
[資料番号]SS2017-18,KBSE2017-18
テスト戦略立案のためのテストケース優先度付けと可視化手法

加藤 正恭(日立),  小川 秀人(日立),  

[発表日]2017-07-20
[資料番号]SS2017-19,KBSE2017-19
フィーチャの意味を共有するためのドキュメンテーションとプロセス

中西 恒夫(福岡大),  

[発表日]2017-07-20
[資料番号]SS2017-20,KBSE2017-20