ソフトウェア工学の基礎 20

日本ソフトウェア科学会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を拡張したビジネスモデル開発方法論の考察

著者

岡野, 浩三、関澤, 俊弦、武市, 正人, 1948-、米沢, 明憲, 1947-

出版社

近代科学社

発売日

2013年11月（発売日は月までの情報で、日付は未確定です。）

発売日の出典

openBD

価格

6,000円（税込・書誌情報提供：openBD）

ISBN

9784764904521

発売済み