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

• Material Type: 図書
• ISBN: 978-4-7649-0452-1
• Title: ソフトウェア工学の基礎
• Title Transcription: ソフトウェア コウガク ノ キソ
• Volume: 20
• Series Title: レクチャーノート/ソフトウェア学 ; 39
• Author/Editor (Series Title): 武市正人, 米澤明憲 編集委員
• Author Heading: 岡野, 浩三 オカノ, コウゾウ ( 00971252 )Authorities; 関澤, 俊弦 セキザワ, トシフサ ( 001155890 )Authorities; 武市, 正人, 1948- タケイチ, マサト, 1948- ( 00079809 )Authorities; 米沢, 明憲, 1947- ヨネザワ, アキノリ, 1947- ( 00158978 )Authorities
• Publication, Distribution, etc.: 東京 : 近代科学社
• Publication Date: 2013.11
• Publication Date (W3CDTF): 2013
• Extent: 320p
• Size: 26cm
• Additional Title: 日本ソフトウェア科学会FOSE 2013 ニホン ソフトウェア カガクカイ エフオーエスイー ニセンジュウサン
• Place of Publication (Country Code): JP
• Text Language Code: jpn
• Subject Heading: ソフトウェア工学 ソフトウェアコウガク ( 01014113 )Authorities
• NDC 9th ed.: 007.61 : Information science
• NDLC: M159
• Target Audience: 一般
• Price: 6000円
• Holding library: 国立国会図書館
• Call No.: M159-L297
• Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書; https://ndlsearch.ndl.go.jp
• Bibliographic ID (NDL): 025014513; http://id.ndl.go.jp/bib/025014513
• National Bibliography No. (JPNO): 22337436
• TOHAN MARC No.: 33017401
• Cataloging Rule: Nippon Cataloguing Rules 1987 Revised Edition
• Bibliographic Record Category (NDL): 111

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

Table of Contents

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