SPINによる設計モデル検証 モデル検査の実践ソフトウェア検証（近代科学社） [電子書籍]
ショッピングカートに入れる

    • SPINによる設計モデル検証 モデル検査の実践ソフトウェア検証（近代科学社） [電子書籍]

    • ￥3,960792 ゴールドポイント（20％還元）
    • すぐ読めます
SPINによる設計モデル検証 モデル検査の実践ソフトウェア検証（近代科学社） [電子書籍]
専用電子書籍リーダアプリ「Doly」の
無料ダウンロードはこちら
100000086600915123

SPINによる設計モデル検証 モデル検査の実践ソフトウェア検証（近代科学社） [電子書籍]

価格：￥3,960（税込）
ゴールドポイント：792 ゴールドポイント（20％還元）（￥792相当）
フォーマット：
専用電子書籍リーダアプリ「Doly」が必要です。無料ダウンロード
出版社：近代科学社
公開日： 2008年09月01日
すぐ読めます。
お取り扱い： のお取り扱い商品です。
ご確認事項：電子書籍リーダーアプリ「Doly」専用コンテンツ

カテゴリランキング

こちらの商品は電子書籍版です
お気に入りに登録する

SPINによる設計モデル検証 モデル検査の実践ソフトウェア検証（近代科学社） の 商品概要

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

  • 目次

    第1章　設計モデル検証とモデル検査
    第2章　モデル検査概論
    第3章　モデル検査ツールSPIN概要
    第4章　SPINによるモデル検査
    第5章　SPINによる設計モデルの検証プロセス
    第6章　設計モデルの検証の実際
    第7章　検証の実践：抽象化・効率化・デバッグ

    付録A　PROMELA/SPINリファレンスマニュアル
    付録B　設計モデルの検証プロセス
    付録C　簡易ステートマシン図のシンタックスとセマンティクス
    付録D　簡易ステートマシン図とPROMELAの対応

  • 商品の注意点

    この商品は固定レイアウトで作成されており、タブレットなど大きいディスプレイを備えた端末で読むことに適しています。購入前にお使いの端末で無料サンプルをお試しください。

SPINによる設計モデル検証 モデル検査の実践ソフトウェア検証（近代科学社） の商品スペック

シリーズ名 トップエスイー実践講座
発行年月日 2008/09/01
書店分類コード K600
Cコード 3350
出版社名 近代科学社
他の近代科学社の電子書籍を探す
本文検索 可
紙の本のISBN-13 9784764903548
ファイルサイズ 185.6MB
著者名 本位田 真一
萩谷 昌己
吉岡 信和
青木 利晃
田原 康之
著述名 監修
著

    近代科学社 SPINによる設計モデル検証 モデル検査の実践ソフトウェア検証（近代科学社） [電子書籍] に関するレビューとＱ＆Ａ

    商品に関するご意見やご感想、購入者への質問をお待ちしています！