内容情報
[BOOKデータベースより]
[BOOKデータベースより]
ＳＰＩＮを中心にモデル検査をいかにしてソフトウェア開発のプロセスの中に位置づけるかについて実例を通して詳説。
第１章 設計モデル検証とモデル検査
第２章 モデル検査概論
第３章 モデル検査ツールＳＰＩＮ概要
第４章 ＳＰＩＮによるモデル検査
第５章 ＳＰＩＮによる設計モデルの検証プロセス
第６章 設計モデルの検証の実際
第７章 検証の実践：抽象化・効率化・デバッグ
付録
この商品をご覧のお客様は、こんな商品もチェックしています。
- マルチエージェントによる自律ソフトウェア設計・開発
-
価格：3,300円（本体3,000円＋税）
【2017年07月発売】
- あなたの知らない食虫植物の世界
-
価格：2,420円（本体2,200円＋税）
【2023年06月発売】
- 小中学生の英語教育におけるワーキングメモリの基礎研究
-
価格：6,600円（本体6,000円＋税）
【2023年12月発売】
のマークが目印です。
