Loading... loading....
Cheaper price than regular books. Find here reasons to use CDJapan eBooks!

Event-B : Rifuaimmento Modelling Ni Motozuku Keishiki Shuho

Event-B:リファインメント・モデリングに基づく形式手法 - 中島震/著 來間啓伸/著

Event-B : Rifuaimmento Modelling Ni Motozuku Keishiki Shuho
eBooks Edition
If you want to read eBooks on PC, click here.
Viewer Type viewer_image Neowing eBook Reader
Price 4180 yen
Points You Earn 41 points (1%)
Compatible Devices
Pages
    178
Release Date Feb 14, 2020(JST)

Description in Japanese

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

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

Translate Description

*As it is a machine translation, the result may not provide an accurate description. Please use it only as a reference. *Not available within the China mainland region.

Also by NAKAJIMA SHIN

More published by Kindai Kagaku Sha

Browse similar eBooks