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

SPINによる設計モデル検証

SPINによる設計モデル検証
電子書籍版
価格 3960円(税込)
ポイント還元 39ポイント(1%)
対応端末
  • PCPC
  • iOSiOS
  • AndroidAndroid
ページ数
  • 251
販売開始日 2020/02/14
紙書籍版 取り扱い中

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

昨今、ソフトウェアの正しさを保証するソフトウェア検証の技術が重要視されているが、その中でも特にモデル検査が脚光を浴びている。それは数理論理学などに関する知識があまりない技術者にも、ソフトウェア開発の中で利用することが可能だからであろう。本書はSPINを中心にモデル検査をいかにしてソフトウェア開発のプロセスの中に位置づけるかについて実例を通して詳説している。

本位田真一関連作品

近代科学社関連作品

「プログラミング一般」カテゴリ