資料詳細

【図書】 ＳＰＩＮによる設計モデル検証

モデル検査の実践ソフトウェア検証 -- トップエスイー実践講座 --
吉岡信和／著, 青木利晃／著, 田原康之／著, 萩谷昌己／監修 -- 近代科学社 -- ２００８．９ -- ２４ｃｍ -- ２２６ｐ

タイトル	ＳＰＩＮによる設計モデル検証
副書名	モデル検査の実践ソフトウェア検証
シリーズ名	トップエスイー実践講座
著者名等	吉岡信和／著, 青木利晃／著, 田原康之／著, 萩谷昌己／監修
出版	近代科学社２００８．９
大きさ等	２４ｃｍ２２６ｐ
分類	007.63
件名	電子計算機－ソフトウェア , 信頼性（工学）
注記	文献あり　索引あり
要旨	ＳＰＩＮを中心にモデル検査をいかにしてソフトウェア開発のプロセスの中に位置づけるかについて実例を通して詳説。
目次	第１章　設計モデル検証とモデル検査；第２章　モデル検査概論；第３章　モデル検査ツールＳＰＩＮ概要；第４章　ＳＰＩＮによるモデル検査；第５章　ＳＰＩＮによる設計モデルの検証プロセス；第６章　設計モデルの検証の実際；第７章　検証の実践：抽象化・効率化・デバッグ；付録
ISBN(13)、ISBN	978-4-7649-0354-8　　 4-7649-0354-7
書誌番号	1108067953

所蔵

所蔵は 1 件です。現在の予約件数は 0 件です。

所蔵館	所蔵場所	別置	請求記号	資料区分	状態	取扱	資料コード
中央	書庫		007.6/15070	一般書	利用可	-	2041060398