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

ユーザビリティ向上に向けた要求定義段階におけるGUIプロトタイプ構築 アーキテクチャー探索のためのモデル駆動開発手法 デバッグ支援ツールのための実行ログ生成ツール 文脈を考慮したHTML4からHTML5への書き換え方法の提案 モデル検査ツールにより出力された反例に基づく誤り特定手法 SMTを活用したJavaプログラム解析フレームワークの設計 情報制御システムのモデル検査における状態空間分割による探索手法の提案 ソースコード改変におけるコメント文の相対的な変化量に着目したフォールト潜在性の分析 性能予測へのソフトウェアメトリクスの適用検討 組込みシステムの性能評価のための共有メモリーの固定優先度調停の確率モデル ゴールモデルの構造に基づいた共通ゴール判別手法の提案 シナリオの事前条件と事後条件の定義支援手法 要求分析におけるCRUD観点のモデル検査技術の適用 組込みシステム検証のための協調解析手法 LTL式からBuchiオートマトンへの高速な変換法 変数に格納されるオブジェクトの型を仮定した仮想メソッド呼び出し解決手法 バグモジュール予測を用いたテスト工数割り当て戦略 DePoT:Webアプリケーションテストにおけるテストコード自動生成テスティングフレームワーク Webアプリの動的部分に着目したグレーボックス統合テストとテンプレート変数カバレッジの提案 統合開発環境におけるコード補完の繰り返しに関する調査 命令の乱雑さに基づくプログラム理解性の評価 DOPGを用いたオブジェクトの振舞い予測手法 編集操作履歴の再生における粗粒度な再生単位 情報検索手法を用いた開発支援システム間の情報統合 ソフトウェア開発PBLにおけるタスク記録の修正に基づく振り返り手法の提案 実装コード不具合検出へのJava PathFinder適用に向けた探索範囲削減手法の検討 COBOLシンボリック実行によるテストケース生成 テストドライバのテスト手法に関する一考察 動的利害相互作用に基づくステークホルダ分析方法の提案と節電問題への適用評価 上流工程比率を用いたソフトウェア開発工数見積もり精度の定量的評価 OSSにおける開発者とコミッターの組み合わせがパッチ検証期間に与える影響の分析 数理計画モデルに基づいた効果的なテスト計画に関する考察 C-Helper:C言語初学者向け静的解析ツールの提案 データ並列を用いたポインタ解析の高速化 DBアクセス問題の抑止を目的としたJavaバイトコードの静的分析の試み ファイル保管サービス統合支援環境の構築と実践 OSS開発における不具合修正タスクの割当支援へ向けて:整数計画問題の応用 Source2UPPAAL:ソースコードの効率的な検証へ向けた開発者支援ツールの検討 ファイル名を利用したソースコードの機能別グループ化 不具合検出過程におけるサブゴールに着目した検出効率の比較 ソフトウェア開発の状況を定量的に把握するマネジメント支援ツール 日本ソフトウェア科学会FOSE 2012

著者

鵜林, 尚靖、亀井, 靖高、武市, 正人, 1948-、米沢, 明憲, 1947-

出版社

近代科学社

発売日

2012年12月発売

価格

5,500円（税込・書誌情報提供：openBD）

ISBN

9784764904347

発売済み