SPINによる設計モデル検証―モデル検査の実践ソフトウェア検証(トップエスイー実践講座〈3〉) [全集叢書]

SPINによる設計モデル検証―モデル検査の実践ソフトウェア検証(トップエスイー実践講座〈3〉) の 商品概要

• 要旨（「BOOK」データベースより）

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

• 目次（「BOOK」データベースより）

  第１章　設計モデル検証とモデル検査
  第２章　モデル検査概論
  第３章　モデル検査ツールＳＰＩＮ概要
  第４章　ＳＰＩＮによるモデル検査
  第５章　ＳＰＩＮによる設計モデルの検証プロセス
  第６章　設計モデルの検証の実際
  第７章　検証の実践：抽象化・効率化・デバッグ
  付録

• 著者紹介（「BOOK著者紹介情報」より）（本データはこの書籍が刊行された当時に掲載されていたものです）

  萩谷 昌己(ハギヤ マサミ)
  １９８２年東京大学大学院理学系研究科修士課程修了。現在、東京大学大学院情報理工学系研究科教授。理学博士。形式的手法、理論計算機科学の研究に従事
  
  吉岡 信和(ヨシオカ ノブカズ)
  １９９８年北陸先端科学技術大学院大学情報科学研究科博士後期課程修了。１９９８年株式会社東芝。現在、国立情報学研究所准教授・総合研究大学院大学准教授。博士（情報科学）。ソフトウェア工学、形式手法、セキュリティソフトウェア工学、セキュリティパターンの研究・教育に従事
  
  青木 利晃(アオキ トシアキ)
  １９９９年北陸先端科学技術大学院大学情報科学研究科博士後期課程修了。現在、北陸先端科学技術大学院大学安心電子社会研究センター特任准教授。博士（情報科学）。ソフトウェア工学・科学、形式手法、形式検証の研究に従事
  
  田原 康之(タハラ ヤスユキ)
  １９９１年東京大学大学院理学系研究科修士課程修了。１９９１年株式会社東芝。２００３年国立情報学研究所。現在、電気通信大学大学院情報システム学研究科准教授。博士（情報科学）。エージェント技術、ソフトウェア工学の研究に従事

SPINによる設計モデル検証―モデル検査の実践ソフトウェア検証(トップエスイー実践講座〈3〉) の商品スペック