読み込み中... loading....
本日配信開始の新刊

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

SPIN モデル検査:検証モデリング技法
電子書籍版
価格 4180円(税込)
ポイント還元 41ポイント(1%)
対応端末
  • PCPC
  • iOSiOS
  • AndroidAndroid
ページ数
  • 258
販売開始日 2018/04/21
紙書籍版 取り扱い中

※この商品はタブレットなど大きいディスプレイを備えた端末で読むことに適しています。また、文字だけを拡大することや、文字列のハイライト、検索、辞書の参照、引用などの機能が使用できません。

社会の様々なところにソフトウェアが組み込まれる中、従来その信頼性を確保するための手法であったテスト手法は、時間やコストなどの面で開発の現状に追いつけない状況にある。そのテスト手法に代わるものとして注目されてきているのが形式的手法による検証(モデル検査法)であり、その中の一つがSPINである。本書はSPINの基礎から実際の利用方法までを具体的に解説する日本で初めての書籍である。

中島震関連作品

近代科学社関連作品

「教養・よみもの」カテゴリ