サイトメニューここからこのページの先頭です

ショートカットキーの説明を開始します。画面遷移や機能実行は、説明にあるショートカットキーを同時に押した後、Enterキーを押してください。ショートカットキーの説明を聞くには、Alt+0。トップ画面の表示には、Alt+1。ログインを行うには、Alt+2。簡易検索画面の表示には、Alt+3。詳細検索画面の表示には、Alt+4。障害者向け資料検索画面の表示には、Alt+5。検索結果の並び替えを行うには、Alt+6。国立国会図書館ホームページの表示には、Alt+7。検索結果の絞り込みを行うには、Alt+8。以上でショートカットキーの説明を終わります。

ナビゲーションここから

ナビゲーションここまで

本文ここから

資料種別 図書

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

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

詳細情報

タイトル ソフトウェア工学の基礎
著者標目 鵜林, 尚靖
著者標目 亀井, 靖高
著者標目 武市, 正人, 1948-
著者標目 米沢, 明憲, 1947-
シリーズ名 レクチャーノート/ソフトウェア学 ; 38
出版地(国名コード) JP
出版地東京
出版社近代科学社
出版年月日等 2012.12
大きさ、容量等 248p ; 26cm
ISBN 9784764904347
価格 5500円
JP番号 22187390
トーハンMARC番号 32859933
巻次 19
別タイトル 日本ソフトウェア科学会FOSE 2012
部分タイトル ユーザビリティ向上に向けた要求定義段階における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 / 鵜林尚靖, 亀井靖高 編
シリーズ著者武市正人, 米澤明憲 編集委員
出版年(W3CDTF) 2012
件名(キーワード) ソフトウェア工学
Ajax-loader 関連キーワードを取得中..
NDLC M159
NDC(9版) 007.61 : 情報科学
対象利用者 一般
資料の種別 図書
言語(ISO639-2形式) jpn : 日本語

本文ここまで

Copyright © 2012 National Diet Library. All Rights Reserved.

フッター ここまで