図書
| タイトル | ソフトウェア工学の基礎 |
|---|---|
| 著者標目 | 岡野, 浩三 |
| 著者標目 | 関澤, 俊弦 |
| 著者標目 | 武市, 正人, 1948- |
| 著者標目 | 米沢, 明憲, 1947- |
| シリーズ名 | レクチャーノート/ソフトウェア学 ; 39 |
| 出版地（国名コード） | JP |
| 出版地 | 東京 |
| 出版社 | 近代科学社 |
| 出版年月日等 | 2013.11 |
| 大きさ、容量等 | 320p ; 26cm |
| ISBN | 9784764904521 |
| 価格 | 6000円 |
| JP番号 | 22337436 |
| トーハンMARC番号 | 33017401 |
| 巻次 | 20 |
| 別タイトル | 日本ソフトウェア科学会FOSE 2013 |
| 部分タイトル | 日本ソフトウェア科学会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を拡張したビジネスモデル開発方法論の考察 / 井出昌浩, 雨谷幸郎, 岸田智子 ほか 著 |
| シリーズ著者 | 武市正人, 米澤明憲 編集委員 |
| 出版年(W3CDTF) | 2013 |
| 件名（キーワード） | ソフトウェア工学 |
関連キーワードを取得中..
|
|
| NDLC | M159 |
| NDC（9版） | 007.61 : 情報科学 |
| 対象利用者 | 一般 |
| 資料の種別 | 図書 |
| 言語（ISO639-2形式） | jpn : 日本語 |
国立国会図書館オンライン
請求記号：M159-L297
関西 総合閲覧室
東京 本館書庫
国立国会図書館の検索・申込システムです。
登録IDでログインすると、複写サービス等を利用できます。
（登録について）
東京都立中央図書館
滋賀県立図書館
岡山県立図書館
