SPINによる設計モデル検証 : モデル検査の実践ソフトウェア検証

著者

• 萩谷, 昌己 ハギヤ, マサミ
• 吉岡, 信和 ヨシオカ, ノブカズ
• 青木, 利晃 アオキ, トシアキ
• 田原, 康之 タハラ, ヤスユキ

書誌事項

SPINによる設計モデル検証 : モデル検査の実践ソフトウェア検証

萩谷昌己監修 ; 吉岡信和, 青木利晃, 田原康之著

（トップエスイー実践講座, 3）

近代科学社, 2008.9

タイトル別名

Design model verification by SPIN

SPINによる設計モデル検証 : モデル検査の実践ソフトウェア検証

タイトル読み

SPIN ニ ヨル セッケイ モデル ケンショウ : モデル ケンサ ノ ジッセン ソフトウェア ケンショウ

注記

参考文献: p187-190

内容説明・目次

内容説明

ＳＰＩＮを中心にモデル検査をいかにしてソフトウェア開発のプロセスの中に位置づけるかについて実例を通して詳説。

目次

• 第１章　設計モデル検証とモデル検査
• 第２章　モデル検査概論
• 第３章　モデル検査ツールＳＰＩＮ概要
• 第４章　ＳＰＩＮによるモデル検査
• 第５章　ＳＰＩＮによる設計モデルの検証プロセス
• 第６章　設計モデルの検証の実際
• 第７章　検証の実践：抽象化・効率化・デバッグ
• 付録

「BOOKデータベース」 より

詳細情報

• NII書誌ID(NCID): BA8725948X
• ISBN:
  • 9784764903548
• 出版国コード: ja
• タイトル言語コード: jpn
• 本文言語コード: jpn
• 出版地: 東京
• ページ数/冊数: xvii, 226p
• 大きさ: 24cm
• 分類:
  • NDC8 : 007.63
  • NDC9 : 007.63
• 件名:
  • BSH : ソフトウェア工学
• 親書誌ID:
  • BA84687793