SPINによる設計モデル検証 : モデル検査の実践ソフトウェア検証
Author(s)
Bibliographic Information
SPINによる設計モデル検証 : モデル検査の実践ソフトウェア検証
（トップエスイー実践講座, 3）
近代科学社, 2008.9
- Other Title
-
Design model verification by SPIN
SPINによる設計モデル検証 : モデル検査の実践ソフトウェア検証
- Title Transcription
-
SPIN ニ ヨル セッケイ モデル ケンショウ : モデル ケンサ ノ ジッセン ソフトウェア ケンショウ
Access to Electronic Resource 1 items
Available at / 51 libraries
-
No Libraries matched.
- Remove all filters.
Search this Book/Journal
Note
参考文献: p187-190
Description and Table of Contents
Description
ＳＰＩＮを中心にモデル検査をいかにしてソフトウェア開発のプロセスの中に位置づけるかについて実例を通して詳説。
Table of Contents
- 第１章 設計モデル検証とモデル検査
- 第２章 モデル検査概論
- 第３章 モデル検査ツールＳＰＩＮ概要
- 第４章 ＳＰＩＮによるモデル検査
- 第５章 ＳＰＩＮによる設計モデルの検証プロセス
- 第６章 設計モデルの検証の実際
- 第７章 検証の実践：抽象化・効率化・デバッグ
- 付録
by "BOOK database"
