本/雑誌
SPINによる設計モデル検証 モデル検査の実践ソフトウェア検証 トップエスイー実践講座 3
萩谷昌己 吉岡信和 青木利晃 田原康之
3960円
| ポイント | 1% (39p) |
|---|---|
| 発売日 | 2008/09/28 発売 |
| 出荷目安 | 販売終了
※出荷目安について |
販売終了のため、現在ご購入出来ません。
商品説明
SPINを中心にモデル検査をいかにしてソフトウェア開発のプロセスの中に位置づけるかについて実例を通して詳説。
関連記事
収録内容
| 1 | 第1章 設計モデル検証とモデル検査 |
| 2 | 第2章 モデル検査概論 |
| 3 | 第3章 モデル検査ツールSPIN概要 |
| 4 | 第4章 SPINによるモデル検査 |
| 5 | 第5章 SPINによる設計モデルの検証プロセス |
| 6 | 第6章 設計モデルの検証の実際 |
| 7 | 第7章 検証の実践:抽象化・効率化・デバッグ |
| 8 | 付録 |
カスタマーレビュー
レビューはありません。
