|
ソフトウェア工学の基礎
19
鵜林 尚靖;亀井 靖高【編】
[目次]
- 招待講演 『スクリプト言語の作り方』の作り方
- 1 開発手法とツール
- 2 検証
- 3 メトリクスと性能
- 4 要求分析
- 5 アルゴリズムと解析
- 6 ソフトウェア品質
- 7 プログラム理解
- 8 開発・教育管理支援
- 9 テスト
- 10 分析と評価
- 11 ライブ論文
「BOOKデータベース」より
|
著作名 |
著作者名 |
C-Helper:C言語初学者向け静的解析ツールの提案 |
内田公太, 権藤克彦 |
COBOLシンボリック実行によるテストケース生成 |
佐々木裕介, 前田芳晴, 木村茂樹, 松尾昭彦, 殿岡弘範 |
DBアクセス問題の抑止を目的としたJavaバイトコードの静的分析の試み |
塚本英昭, 宮田俊介, 梅村晃広, 神谷慎吾 |
DOPGを用いたオブジェクトの振舞い予測手法 |
井上克郎, 眞鍋雄貴, 石尾隆, 脇坂大輝 |
DePoT:Webアプリケーションテストにおけるテストコード自動生成テスティングフレームワーク |
坂本一憲, 深澤良彰, 青井翔平, 鷲崎弘宜 |
LTL式からBuchiオートマトンへの高速な変換法 |
島川昌也, 望月翔平, 米崎直樹, 萩原茂樹 |
OSSにおける開発者とコミッターの組み合わせがパッチ検証期間に与える影響の分析 |
戸田航史 |
OSS開発における不具合修正タスクの割当支援へ向けて:整数計画問題の応用 |
大平雅雄, 柏祐太郎 |
SMTを活用したJavaプログラム解析フレームワークの設計 |
佐々木幸広, 岡野浩三, 楠本真ニ |
Source2UPPAAL:ソースコードの効率的な検証へ向けた開発者支援ツールの検討 |
小形真平, 松浦佐江子, 西村一彦, 谷沢智史, 青木善貴 |
Webアプリの動的部分に着目したグレーボックス統合テストとテンプレート変数カバレッジの提案 |
坂本一憲, 波村大悟, 海津智宏, 深澤良彰, 鷲崎弘宜 |
アーキテクチャー探索のためのモデル駆動開発手法 |
中田武男, 坂本佳史, 小野康一, 河原亮 |
ゴールモデルの構造に基づいた共通ゴール判別手法の提案 |
中川博之, 中村祐貴, 大須賀昭彦, 本田耕三, 田原康之 |
シナリオの事前条件と事後条件の定義支援手法 |
佃俊徳, 大西淳 |
ソフトウェア開発PBLにおけるタスク記録の修正に基づく振り返り手法の提案 |
井上克郎, 井垣宏, 佐伯幸郎, 楠本真二, 眞鍋雄貴, 福安直樹 |
ソフトウェア開発の状況を定量的に把握するマネジメント支援ツール |
大和田裕, 山下博之 |
ソースコード改変におけるコメント文の相対的な変化量に着目したフォールト潜在性の分析 |
浅野遼平, 阿萬裕久 |
テストドライバのテスト手法に関する一考察 |
上野哲史, 杉山安洋 |
デバッグ支援ツールのための実行ログ生成ツール |
星孝一郎, 杉山安洋, 神田翔太 |
データ並列を用いたポインタ解析の高速化 |
権藤克彦, 石井惇志 |
バグモジュール予測を用いたテスト工数割り当て戦略 |
中野大輔, 松本健一, 門田暁人 |
ファイル保管サービス統合支援環境の構築と実践 |
伊藤恵, 野呂篤志 |
ファイル名を利用したソースコードの機能別グループ化 |
佐藤健広, 垣谷広輝, 平山雅之, 田邉純輝 |
モデル検査ツールにより出力された反例に基づく誤り特定手法 |
陳適, 青木利晃 |
ユーザビリティ向上に向けた要求定義段階におけるGUIプロトタイプ構築 |
岩田一, 柴田博成, 深澤良彰, 白銀純子 |
上流工程比率を用いたソフトウェア開発工数見積もり精度の定量的評価 |
伏田享平, 戸田航史, 角田雅照 |
不具合検出過程におけるサブゴールに着目した検出効率の比較 |
上野秀剛, 西口絢人 |
動的利害相互作用に基づくステークホルダ分析方法の提案と節電問題への適用評価 |
山下和樹, 木下康介, 青山幹雄 |
命令の乱雑さに基づくプログラム理解性の評価 |
中村匡秀, 二村阿美, 松本健一, 玉田春昭, 神崎雄一郎, 門田暁人 |
変数に格納されるオブジェクトの型を仮定した仮想メソッド呼び出し解決手法 |
井上克郎, 石尾隆, 鹿島悠 |
実装コード不具合検出へのJava PathFinder適用に向けた探索範囲削減手法の検討 |
前岡淳, 田辺良則 |
性能予測へのソフトウェアメトリクスの適用検討 |
中野早苗, 茂岡知彦 |
情報制御システムのモデル検査における状態空間分割による探索手法の提案 |
上田賀一, 中野利彦, 小山恭平, 小飼敬, 山形知行, 武澤隆之 |
情報検索手法を用いた開発支援システム間の情報統合 |
上野秀剛, 伊原彰紀, 松本健一, 谷宗一郎 |
数理計画モデルに基づいた効果的なテスト計画に関する考察 |
久連石圭, 佐々木愛美, 小笠原秀人, 阿萬裕久 |
文脈を考慮したHTML4からHTML5への書き換え方法の提案 |
吉田敦, 張漢明, 蜂巣吉成, 野呂昌満 |
日本ソフトウェア科学会FOSE 2012 |
亀井靖高, 鵜林尚靖 |
組込みシステムの性能評価のための共有メモリーの固定優先度調停の確率モデル |
中田武男, 小野康一, 河原亮 |
組込みシステム検証のための協調解析手法 |
上田賀一, 中島震, 古川覚 |
統合開発環境におけるコード補完の繰り返しに関する調査 |
丸山勝久, 大森隆行, 桑原寛明 |
編集操作履歴の再生における粗粒度な再生単位 |
大森隆行, 桑原寛明 |
要求分析におけるCRUD観点のモデル検査技術の適用 |
奥田博隆, 小形真平, 松浦佐江子, 青木善貴 |
この本を:
|
件が連想されています
|