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

• 資料種別: 図書
• ISBN: 978-4-7649-0452-1
• タイトル: ソフトウェア工学の基礎
• タイトルよみ: ソフトウェア コウガク ノ キソ
• 巻次・部編番号: 20
• シリーズタイトル: レクチャーノート/ソフトウェア学 ; 39
• シリーズ著者・編者: 武市正人, 米澤明憲 編集委員
• 著者標目: 岡野, 浩三 オカノ, コウゾウ ( 00971252 )典拠; 関澤, 俊弦 セキザワ, トシフサ ( 001155890 )典拠; 武市, 正人, 1948- タケイチ, マサト, 1948- ( 00079809 )典拠; 米沢, 明憲, 1947- ヨネザワ, アキノリ, 1947- ( 00158978 )典拠
• 出版事項: 東京 : 近代科学社
• 出版年月日等: 2013.11
• 出版年（W3CDTF）: 2013
• 数量: 320p
• 大きさ: 26cm
• その他のタイトル: 日本ソフトウェア科学会FOSE 2013 ニホン ソフトウェア カガクカイ エフオーエスイー ニセンジュウサン
• 出版地（国名コード）: JP
• 本文の言語コード: jpn
• 件名標目: ソフトウェア工学 ソフトウェアコウガク ( 01014113 )典拠
• NDC9版: 007.61 : 情報科学
• NDLC: M159
• 対象利用者: 一般
• 入手条件・定価: 6000円
• 所蔵機関: 国立国会図書館
• 請求記号: M159-L297
• 連携機関・データベース: 国立国会図書館 : 国立国会図書館蔵書; https://ndlsearch.ndl.go.jp
• 書誌ID（NDLBibID）: 025014513; http://id.ndl.go.jp/bib/025014513
• 全国書誌番号: 22337436
• トーハンMARC番号: 33017401
• 目録規則: 日本目録規則1987年版改訂版
• 整理区分コード: 111

• 内容細目: 日本ソフトウェア科学会FOSE 2013 / 岡野浩三, 関澤俊弦 編学習データ計測時点による欠陥モジュール予測精度の比較 / 内垣聖史, 伊原彰紀, 門田暁人 ほか 著情報流解析におけるDeclassifierの配置手法 / 桑原寛明, 國枝義敏 著...
• 要約等: 日本ソフトウェア科学会における「ソフトウェア工学の基礎」研究会(FOSE)の論文集第20巻（提供元: 出版情報登録センター（JPRO））
• 著者紹介: 岡野 浩三 岡野 浩三：大阪大学大学院情報科学研究科 准教授関澤 俊弦 関澤 俊弦:大阪学院大学情報学部 准教授（提供元: 出版情報登録センター（JPRO））

目次

記念挨拶／基調講演／1. ソフトウェア設計／2. ソフトウェア開発支援／3. メトリクス／4. プログラム解析／5. 仕様・検証／／6. 形式手法／7. 実証的ソフトウェア開発／8. モデル検査・テスト／9. デバッグ支援／10. ソフトウェア開発プロセス／11. モデル表現と変換／12. ライブ論文