Event‐B リファインメント・モデリングに基づく形式手法/中島震/來間啓伸
4,180円(税込)
配送情報
お届け予定日:1〜3日で発送予定
※一部地域・離島につきましては、表示のお届け予定日期間内にお届けできない場合があります。ロットナンバー
221053439
商品説明
【内容紹介】
(big)(strong)論理的なバクを発生させない形式手法!!(/strong)(/big)
Event−Bは、パリ地下鉄、ニューヨーク地下鉄、バルセロナ地下鉄、ドゴール空港のシャトルの無人運転を成功に導いた、J.R.アブリエル氏が考案した新しい形式仕様言語である。
Event−Bは、仕様記述の単位をイベントとし、基礎となる集合論などはBメソッドの考え方を継承する。
本書は、Event−Bの入門書である。また実際に利用するための仕様構築統合環境として、RODINプラットホームの利用方法を解説する。具体的に学べるよう図書館の事例や、組込みとして自動車のドアロック・システムを紹介している。
形式手法や、形式仕様言語を学ぶ技術者や研究者には最適の書である。
(big)(strong)論理的なバクを発生させない形式手法!!(/strong)(/big)
Event−Bは、パリ地下鉄、ニューヨーク地下鉄、バルセロナ地下鉄、ドゴール空港のシャトルの無人運転を成功に導いた、J.R.アブリエル氏が考案した新しい形式仕様言語である。
Event−Bは、仕様記述の単位をイベントとし、基礎となる集合論などはBメソッドの考え方を継承する。
本書は、Event−Bの入門書である。また実際に利用するための仕様構築統合環境として、RODINプラットホームの利用方法を解説する。具体的に学べるよう図書館の事例や、組込みとして自動車のドアロック・システムを紹介している。
形式手法や、形式仕様言語を学ぶ技術者や研究者には最適の書である。
※本データはこの商品が発売された時点の情報です。
お店の情報
お店の評価:
-点(0件)
連絡・応対
-
配送スピード
-
梱包
-