資料詳細

  • 1 件中、 1 件目

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

萩谷 昌己/監修 吉岡 信和/著

近代科学社 2008.9 (トップエスイー実践講座)

所蔵

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

所蔵館 所蔵場所 請求記号 資料コード 資料区分 持禁区分 状態
オーテピア高知図書館 4F書庫 4Y/007.6/ｽﾋ/ 1105621674 一般   利用可

ページの先頭へ

館別所蔵

館名 所蔵数 貸出中数 貸出可能数
オーテピア高知図書館 1 0 1

ページの先頭へ

資料詳細

タイトル SPINによる設計モデル検証
副書名 モデル検査の実践ソフトウェア検証
叢書名 トップエスイー実践講座
著者 萩谷 昌己 /監修 吉岡 信和 /著 青木 利晃 /著 田原 康之 /著  
出版者 近代科学社
出版年 2008.9
ページ数 226p
大きさ 24cm
一般件名 ソフトウェア工学
NDC分類(9版) 007.63
内容紹介 ＳＰＩＮを中心に、モデル検査をいかにしてソフトウェア開発のプロセスの中に位置づけるかについて、実例を通して詳説する。ソフトウェアの欠陥発見の精度向上と効率化に役立つノウハウが満載。
ISBN 4-7649-0354-8
定価 ¥3600

ページの先頭へ