IEICE Technical Committee

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

タイトル/著者/発表日/資料番号

表紙

[発表日]2014/7/2
[資料番号]

コードレビュー時の読み方教示によるレビュー効率の変化(レビュー・分析)

鷹治沙織, 上野秀剛,

[発表日]2014/7/2
[資料番号]Vol.2014-SE-185 No.1

第三者によるソフトウェア開発作業評価のための作業記録の保護手法(レビュー・分析)

池田祥平, 上野秀剛,

[発表日]2014/7/2
[資料番号]Vol.2014-SE-185 No.2

作業時間に基づくソフトウェア保守ベンチマーキングの試み(レビュー・分析)

角田雅照, 門田暁人, 松本健一, 大岩佐和子, 押野智樹,

[発表日]2014/7/2
[資料番号]Vol.2014-SE-185 No.3

多様なタスクスケジューリング問題への解集合プログラミングの適用(タスクスケジューリング・時間制約)

小林弘幸, 中川博之, 小島英春, 土屋達弘,

[発表日]2014/7/2
[資料番号]SS2014-9,KBSE2014-12

ビジネスプロセスのための時間制約表現(タスクスケジューリング・時間制約)

飯島正,

[発表日]2014/7/2
[資料番号]SS2014-10,KBSE2014-13

値付きタスクオートマトンに基づくコストを意識した実時間タスクスケジューリング(タスクスケジューリング・時間制約)

結縁祥治, 亀井達朗,

[発表日]2014/7/2
[資料番号]SS2014-11,KBSE2014-14

IoTシステムを題材としたPBLの導入提案(PBL・開発プロセス)

細合晋太郎, 石田繁巳, 亀井靖高, 大迫周平, 井垣宏, 鵜林尚靖, 福田晃,

[発表日]2014/7/2
[資料番号]Vol.2014-SE-185 No.7

ソフトウェア進化の理解を目的とした遅延相関分析手法 : OSSプロジェクトデータへの適用(PBL・開発プロセス)

山谷陽亮, 大平雅雄,

[発表日]2014/7/2
[資料番号]Vol.2014-SE-185 No.8

開発履歴を利用した風林火山モデルに基づく開発者特性の分析(PBL・開発プロセス)

五田篤志, 山崎尚, 玉田春昭, 畑秀明, 角田雅照, 井垣宏,

[発表日]2014/7/2
[資料番号]Vol.2014-SE-185 No.9

GUIビルダによるスマートフォンアプリケーション向けモデル駆動開発手法(Web・スマートフォン)

松井浩司, 松浦佐江子,

[発表日]2014/7/2
[資料番号]SS2014-12,KBSE2014-15

擬似マルウェア体験によるAndroidパーミッションと脅威の関係の学習(Web・スマートフォン)

加藤真, 松浦佐江子,

[発表日]2014/7/2
[資料番号]SS2014-13,KBSE2014-16

ユーザビリティ要求確認を支援するWebプロトタイプ自動生成手法(Web・スマートフォン)

紙森翔平, 小形真平, 海尻賢二,

[発表日]2014/7/2
[資料番号]SS2014-14,KBSE2014-17

WebアプリケーションのUI機能テストのためのHTML構造パターンの抽出手法(Web・スマートフォン)

神谷年洋,

[発表日]2014/7/2
[資料番号]SS2014-15,KBSE2014-18

反例からの検査式自動生成による不具合原因特定支援(形式手法・言語)

青木善貴, 松浦佐江子,

[発表日]2014/7/2
[資料番号]SS2014-16,KBSE2014-19

Improving efficiency of pseudo-Boolean solver that uses SAT solver and BDD

[発表日]2014/7/2
[資料番号]SS2014-17,KBSE2014-20

Malbolge低級アセンブラにおけるコード配置アドレスの決定法(形式手法・言語)

加藤起騎, 酒井正彦, 坂部俊樹, 西田直樹,

[発表日]2014/7/2
[資料番号]SS2014-18,KBSE2014-21

MathMLで書かれた数式に対する検索手法の提案(形式手法・言語)

片岡晃久, 甲斐博,

[発表日]2014/7/2
[資料番号]SS2014-19,KBSE2014-22

機能捜索結果を利用したプレファクタリング支援(リファクタリング)

小松田卓也, 林晋平, 佐伯元司,

[発表日]2014/7/2
[資料番号]SS2014-20,KBSE2014-23