pagetop

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

ほしい!に追加 twitter
本-SPINによる設計モデル検証 モデル検査の実践ソフトウェア検証
著者: 吉岡信和 (著)
定価 ¥3,888(税込)
BOOKFANポイント: 180 pt
出版社名 近代科学社
シリーズ名 トップエスイー実践講座 3
発行年月 2008年 09月
ISBNコード 9784764903548
版型 --
ページ数 226P
平均評価
(まだ評価がありません)
ブクレポ 0件

新刊お知らせ登録一覧へ »

吉岡信和 OFF

内容紹介

SPINを中心にモデル検査をいかにしてソフトウェア開発のプロセスの中に位置づけるかについて実例を通して詳説。

※本データはこの商品が発売された時点の情報です。

目次

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

著者情報

吉岡 信和
1998年北陸先端科学技術大学院大学情報科学研究科博士後期課程修了。1998年株式会社東芝。現在、国立情報学研究所准教授・総合研究大学院大学准教授。博士(情報科学)。ソフトウェア工学、形式手法、セキュリティソフトウェア工学、セキュリティパターンの研究・教育に従事

ブクレポ  ( ブクレポについて

この本にはまだブクレポが投稿されていません。
うれしい全品送料無料♪全商品5%ポイント還元!<a href="index.php?module=ecrlist&action=plist&it=BK"target="_parent">▼新刊・予約はコチラ!</a>
出版社共同企画!もれなく100ptプレゼント!
BOOKFANのツイッターをフォローする♪
BOOKFANキャラクター大集合!LINEクリエイターズスタンプ配信中☆
【電子ストア】最高3,000円分ギフト券プレゼント中!今すぐマイページへ
特集一覧へ