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

Event-B:リファインメント・モデリングに基づく形式手法

Event-B:リファインメント・モデリングに基づく形式手法
電子書籍版
価格 4180円(税込)
ポイント還元 41ポイント(1%)
対応端末
  • PCPC
  • iOSiOS
  • AndroidAndroid
ページ数
  • 178
販売開始日 2018/04/21
紙書籍版 取り扱い中

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

論理的なバクを発生させない形式手法!!Event-Bは、パリ地下鉄、ニューヨーク地下鉄、バルセロナ地下鉄、ドゴール空港のシャトルの無人運転を成功に導いた、J.R.アブリエル氏が考案した新しい形式仕様言語である。Event-Bは、仕様記述の単位をイベントとし、基礎となる集合論などはBメソッドの考え方を継承する。本書は、Event-Bの入門書である。また実際に利用するための仕様構築統合環境として、RODINプラットホームの利用方法を解説する。具体的に学べるよう図書館の事例や、組込みとして自動車のドアロック・システムを紹介している。形式手法や、形式仕様言語を学ぶ技術者や研究者には最適の書である。

中島震関連作品

  • SPIN モデル検査:検証モデリング技法 4180円
    作家 中島震
    出版社 近代科学社
    販売開始日 2018/04/21

    社会の様々なところにソフトウェアが組み込まれる中、従来その信頼性を確保するための手法であったテスト手法は、時間やコストなどの面で開発の現状に追いつけない状況にある。そのテスト手法に代わるものとし...

  • Bメソッドによる形式仕様記述 3960円
    作家 本位田真一 中島震 来間啓伸
    出版社 近代科学社
    販売開始日 2018/04/21

    仕様の段階で誤りをなくす注目の手法「Bメソッド」を実践活用するための解説書。安心安全を含めてますます高度な機能や性能が要求されるソフトウェアシステムの開発において、厳密な仕様記述を基に開発を行う...

近代科学社関連作品

「情報数学」カテゴリ