目次
日本ソフトウェア科学会FOSE 2013
学習データ計測時点による欠陥モジュール予測精度の比較
情報流解析におけるDeclassifierの配置手法
相関ルールマイニングを用いたメソッドの命名方法の分析
プログラミング初学者向けの誤り訂正問題の生成方法の提案
ソースコード差分の対話的修正法
独自ガイドラインを適用したGUIの構築支援
不具合修正時間の短縮化を目的としたバグトリアージ手法の提案
Chromium Projectにおけるレビュアーとパッチ開発者の関係がレビュー効率に与える影響の分析
入力保存機能に着目したモデル駆動ユーザビリティ評価法
性能予測へのモデルメトリクスの適用検討
詳細設計書を用いたインフラストラクチャ構築の設定ミス予測のためのメトリックNoCIの提案
責務の割り当てに着目した設計クラス図の機能性・保守性評価
メソッド進化分析のためのソースコード履歴グラフ構築とネットワーク分析
Portland Pattern Repository上のソフトウェアパターン群に対するネットワーク分析
ソフトウェアリポジトリを対象とした細粒度リファクタリング検出
ソースコード編集操作の自動グループ化
シーケンス図中の時間制約の整合性検査とその高速化
法令から機能要求を抽出するための支援ツールの実装と評価
テストドライバの妥当性を検証するためのテスト用フレームワーク
検証付きプログラムに対する対話的修正の合成
POM/MCを用いた仮説ベースモデル検査デバッグ手法
強充足不能なリアクティブシステム仕様における欠陥範囲の特定
COBOL記号実行のための記号メモリ
ユニットテストの入力データ生成のためのBit-vector Logicに基づくCOBOL記号実行器
クラッシュリポジトリマイニング
オープンソースソフトウェアにおける学術論文の引用状況の分析
簡易脳波測定装置を用いたプログラミング活動のストレス測定に関する実験
脳血流計測に基づくプログラム理解行動の定量化
ソフトウェアテストに関するメトリクス測定に基づくOSSにおける実証的研究
アスペクト指向言語を利用したソフトウェアモデル検査手法
モデル検査技術を用いたセキュリティ要求の検証
情報制御システムにおける部分モデルと相互関係を用いたモデル検査の実用化
ユーザ要求ベースのテスト方法の提案と有効性評価
ホワイトボックス単体テストにおけるペアテスティング
ゲーミフィケーションを用いたバグパターンによる欠陥除去の促進
GUIプログラムにおけるイベント処理の可聴化によるデバッグ支援
上流工程の知識体系に基づく要求工学オントロジーの提案
0−1計画モデルを用いたコードレビュー計画法におけるフィルタリングとその効果
ソフトウェア開発企業における開発タスクの自動計測
OSLCに基づく要求管理方法と支援環境の提案と評価
リファインメントパターンを利用したKAOSゴールモデルからBPMNモデルへの変換
実行履歴と制御構造を用いたUMLシーケンス図のリバースエンジニアリング
iArch:滑らかな設計抽象化を支援するIDE
ソフトウェア開発履歴を利用した風林火山モデルによる開発者の特性診断の試み
演習授業で各学生が行うソフトウェア開発作業の細粒度履歴データに基づく演習過程確認手法の提案
システム群のBASE特性を保証するためのCoqを用いた検証
メソッドの中に書かれるコメントと前に書かれるコメントのフォールト潜在予測に関する定量的考察
リファクタリング支援のためのプログラム等価性検証手法の提案
動画再生時間に対するマーキングによる効率的な動画学習システム
コメントを重視したチケット駆動開発の実践と可視化ツールによる分析
予測対象メトリクスの単位に基づく変数除去の試み
フィールドアクセスに着目したモデル検査の効率化
高度ICT人材育成教育における情報デザイン手法の導入事例
受講者間の知識伝達を目指したScrumに基づくソフトウェア開発PBLの実践
fault-proneモジュール判別におけるアルゴリズム選択のための評価指標の提案
BMGを拡張したビジネスモデル開発方法論の考察
