情報
レクチャーノート／ソフトウェア学 第39巻
ソフトウェア工学の基礎 XX (20) 日本ソフトウェア科学会FOSE 2013
日本ソフトウェア科学会における「ソフトウェア工学の基礎」研究会(FOSE)が毎年主催するワークショップのための論文集第20巻。FOSEはソフトウェアを知的資産として活用していくための基盤確立を目指す研究会で、関連分野の研究者・技術者に議論の場を提供している。
紙の書籍¥6,600定価（税込）
基本情報
| 発売日 | 2013年12月2日 |
|---|---|
| 本体価格 | 6,000円 |
| ページ数 | 336 ページ ※印刷物 |
| サイズ | B5 |
| ISBN | 9784764904521 |
| ジャンル | 情報 |
| タグ | ソフトウェア工学 |
| 電子書籍形式 | 販売なし |
主要目次
記念挨拶／基調講演／1. ソフトウェア設計／2. ソフトウェア開発支援／3. メトリクス／4. プログラム解析／5. 仕様・検証／／6. 形式手法／7. 実証的ソフトウェア開発／8. モデル検査・テスト／9. デバッグ支援／10. ソフトウェア開発プロセス／11. モデル表現と変換／12. ライブ論文