Event-B：リファインメント・モデリングに基づく形式手法
※この商品はタブレットなど大きいディスプレイを備えた端末で読むことに適しています。また、文字だけを拡大することや、文字列のハイライト、検索、辞書の参照、引用などの機能が使用できません。
論理的なバクを発生させない形式手法!!Event-Bは、パリ地下鉄、ニューヨーク地下鉄、バルセロナ地下鉄、ドゴール空港のシャトルの無人運転を成功に導いた、J.R.アブリエル氏が考案した新しい形式仕様言語である。Event-Bは、仕様記述の単位をイベントとし、基礎となる集合論などはBメソッドの考え方を継承する。本書は、Event-Bの入門書である。また実際に利用するための仕様構築統合環境として、RODINプラットホームの利用方法を解説する。具体的に学べるよう図書館の事例や、組込みとして自動車のドアロック・システムを紹介している。形式手法や、形式仕様言語を学ぶ技術者や研究者には最適の書である。
Event-B：リファインメント・モデリングに基づく形式手法 のユーザーレビュー
Event-B：リファインメント・モデリングに基づく形式手法 の詳細情報
閲覧環境
- 【閲覧できる環境】
- ・ブックライブ for Windows PC（アプリ）
- ・ブックライブ for iOS（アプリ）
- ・ブックライブ for Android（アプリ）
- ・ブックライブ PLUS for Android（アプリ）
- ・ブラウザビューア
※アプリの閲覧環境は最新バージョンのものです。
この本をチェックした人は、こんな本もチェックしています
無料で読める IT・コンピュータ
IT・コンピュータ ランキング
作者のこれもおすすめ
