Bメソッドによる形式仕様記述―ソフトウェアシステムのモデル化とその検証(トップエスイー実践講座〈1〉) [全集叢書]

Bメソッドによる形式仕様記述―ソフトウェアシステムのモデル化とその検証(トップエスイー実践講座〈1〉) の 商品概要

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

  日本初！待望のＢメソッド解説書。実際の開発への適用を意識した実用指向の内容で、形式手法の理解と習得に格好の書。

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

  第１章　形式手法概論
  第２章　形式仕様の作成
  第３章　抽象機械
  第４章　仕様から実装へのステップ
  第５章　リファインメント
  第６章　インプリメンテーション
  第７章　事例研究
  第８章　次のステップ
  付録

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

  中島 震(ナカジマ シン)
  １９８１年東京大学大学院理学系研究科修士課程修了。現在、国立情報学研究所教授・総合研究大学院大学教授。学術博士。この間、科学技術振興機構さきがけ研究員（兼任）、北陸先端科学技術大学院大学客員教授を歴任。形式手法、自動検証、ソフトウェア・モデリング、などの研究に従事
  
  来間 啓伸(クルマ ヒロノブ)
  １９８３年広島大学大学院理学研究科博士課程前期修了。１９８４年株式会社日立製作所。２００６年総合研究大学院大学複合科学研究科修了。博士（学術）。現在、株式会社日立製作所システム開発研究所・国立情報学研究所特任教授。ソフトウェア工学の研究に従事。形式手法、コンピュータ・セキュリティ、自律分散システムに興味を持つ

Bメソッドによる形式仕様記述―ソフトウェアシステムのモデル化とその検証(トップエスイー実践講座〈1〉) の商品スペック