サイト内検索

SPIN モデル検査:検証モデリング技法

作家/出演者
シリーズ
  • SPIN モデル検査:検証モデリング技法
※この商品はタブレットなど大きいディスプレイを備えた端末で読むことに適しています。また、文字だけを拡大することや、文字列のハイライト、検索、辞書の参照、引用などの機能が使用できません。

社会の様々なところにソフトウェアが組み込まれる中、従来その信頼性を確保するための手法であったテスト手法は、時間やコストなどの面で開発の現状に追いつけない状況にある。そのテスト手法に代わるものとして注目されてきているのが形式的手法による検証(モデル検査法)であり、その中の一つがSPINである。本書はSPINの基礎から実際の利用方法までを具体的に解説する日本で初めての書籍である。
価格
4,104円
[参考価格] 紙書籍4,104円
読める期間
無期限
クレジットカード決済なら
41pt獲得
対応端末
  • Windows
  • Mac
  • スマートフォン タブレット
  • ブラウザで読める
電子書籍販売日
2018/04/21 00:00
紙書籍販売日
2008/04/30
ページ数
259ページ
掲載誌/レーベル
  • ----
出版社
ジャンル
ファイル容量
57.10MB
ファイル形式
EPUB形式

新着通知設定

この作品の続刊、作家の新刊が配信された際に、メールでお知らせいたします。

作品
作家