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

• 資料種別: 図書
• ISBN: 978-4-7649-0584-9
• タイトル: ソフトウェア工学の基礎
• タイトルよみ: ソフトウェア コウガク ノ キソ
• 巻次・部編番号: 25
• シリーズタイトル: レクチャーノート/ソフトウェア学 ; 44
• シリーズ著者・編者: 武市正人, 米澤明憲 編集委員
• 著者標目: 伊藤, 恵 イトウ, ケイ ( 001148830 )典拠; 神谷, 年洋 カミヤ, トシヒロ ( 001309675 )典拠; 武市, 正人, 1948- タケイチ, マサト, 1948- ( 00079809 )典拠; 米沢, 明憲, 1947- ヨネザワ, アキノリ, 1947- ( 00158978 )典拠
• 出版事項: 東京 : 近代科学社
• 出版年月日等: 2018.11
• 出版年（W3CDTF）: 2018
• 数量: 158p
• 大きさ: 26cm
• その他のタイトル: 日本ソフトウェア科学会FOSE 2018 ニホン ソフトウェア カガクカイ エフオーエスイー ニセンジュウハチ
• 出版地（国名コード）: JP
• 本文の言語コード: jpn
• 件名標目: ソフトウェア工学 ソフトウェアコウガク ( 01014113 )典拠
• NDC10版: 007.61 : 情報学．情報科学
• NDLC: M154
• 対象利用者: 一般
• 入手条件・定価: 5000円
• 所蔵機関: 国立国会図書館
• 請求記号: M154-L575
• 連携機関・データベース: 国立国会図書館 : 国立国会図書館蔵書; https://ndlsearch.ndl.go.jp
• 書誌ID（NDLBibID）: 029336745; http://id.ndl.go.jp/bib/029336745
• 全国書誌番号: 23149536
• トーハンMARC番号: 33850875
• 目録規則: 日本目録規則1987年版改訂版
• 整理区分コード: 111

• 内容細目: 日本ソフトウェア科学会FOSE 2018 / 伊藤恵, 神谷年洋 編（提供元: 国立国会図書館蔵書）
• 要約等: 知的資産としてのソフトウェアの活用を目指す研究者・技術者に向けた，最先端研究を多数掲載する論文集（提供元: 出版情報登録センター（JPRO））
• 著者紹介: 伊藤 恵 伊藤 恵：公立はこだて未来大学神谷 年洋 神谷 年洋：島根大学（提供元: 出版情報登録センター（JPRO））

目次

状態遷移，デバッグ，テスト

バグ予測，信頼度成長モデル

レビュー，情報共有，ユーザビリティ

型システム，検証

ソースコード解析，再利用