基本情報
| 発売日 | 2013年12月2日 |
|---|---|
| 本体価格 | 6,000円 |
| ページ数 | 336 ページ ※印刷物 |
| サイズ | B5 |
| ISBN | 9784764904521 |
| ジャンル | 情報 |
| タグ | ソフトウェア工学 |
| 電子書籍形式 | 販売なし |
主要目次
記念挨拶／基調講演／1. ソフトウェア設計／2. ソフトウェア開発支援／3. メトリクス／4. プログラム解析／5. 仕様・検証／／6. 形式手法／7. 実証的ソフトウェア開発／8. モデル検査・テスト／9. デバッグ支援／10. ソフトウェア開発プロセス／11. モデル表現と変換／12. ライブ論文