Event-B：リファインメント・モデリングに基づく形式手法
購入済み
シリーズ
全1冊
作品情報
※この商品はタブレットなど大きいディスプレイを備えた端末で読むことに適しています。また、文字だけを拡大することや、文字列のハイライト、検索、辞書の参照、引用などの機能が使用できません。論理的なバクを発生させない形式手法!!Event-Bは、パリ地下鉄、ニューヨーク地下鉄、バルセロナ地下鉄、ドゴール空港のシャトルの無人運転を成功に導いた、J.R.アブリエル氏が考案した新しい形式仕様言語である。Event-Bは、仕様記述の単位をイベントとし、基礎となる集合論などはBメソッドの考え方を継承する。本書は、Event-Bの入門書である。また実際に利用するための仕様構築統合環境として、RODINプラットホームの利用方法を解説する。具体的に学べるよう図書館の事例や、組込みとして自動車のドアロック・システムを紹介している。形式手法や、形式仕様言語を学ぶ技術者や研究者には最適の書である。
- 著者
- 出版社 近代科学社
- ジャンル
- シリーズ Event-B：リファインメント・モデリングに基づく形式手法
- 電子版配信開始日 2022/01/14
- ファイルサイズ 26.17 MB
作品をシェアする
同じ作者の本
-
デジタル・プラットフォーム解体新書 製造業のイノベーションに向けて
￥2,750
購入済み
-
Bメソッドによる形式仕様記述
￥3,960
購入済み
-
Event-B：リファインメント・モデリングに基づく形式手法
￥4,180
購入済み
-
SPIN モデル検査：検証モデリング技法
￥4,180
購入済み
近代科学社のおすすめ本
-
世界標準MIT教科書 アルゴリズムイントロダクション 第4版 総合版
￥19,800
購入済み
-
つながるコンピュータリテラシー 情報Iの復習から活用スキルまで
￥2,200
購入済み
-
ε-δ論法と数学の基礎 『原論』の時代から20世紀まで
￥3,850
購入済み
-
最適化のための強化学習
￥3,520
購入済み
-
統計学再入門 科学哲学から探る統計思考の原点
￥3,300
購入済み
-
ファーストステップ AI・データサイエンスの基礎
￥2,750
購入済み
-
超楕円関数への招待 楕円関数の一般化とその応用
￥4,400
購入済み
-
改訂新版 ファーストステップ情報通信ネットワーク
￥2,750
購入済み
-
世界標準MIT教科書 アルゴリズムイントロダクション 第4版 第2巻 高度な設計と解析の手法・高度なデータ構造・グラフアルゴリズム
￥4,950
購入済み
-
図解 深層学習 数理で理解する基本原理
￥3,850
購入済み
スマホ・PC・ITのおすすめ本
-
GitLabに学ぶ パフォーマンスを最大化させるドキュメンテーション技術 数千ページにもわたるハンドブックを活用したテキストコミュニケーションの作法
￥1,980
購入済み
-
ソフトウェアアーキテクトのための意思決定術 リーダーシップ／技術／プロダクトマネジメントの活用
￥3,300
購入済み
-
Web制作者のためのSassの教科書 改訂3版 Webデザインの現場で必須のCSSプリプロセッサ
￥2,970
購入済み
-
転生魔王のネット戦略 ２
￥999
購入済み
-
できるWord&Excel 2024 Copilot対応 Office 2024&Microsoft 365版
￥2,200
購入済み
-
超入門 無料で使える動画編集ソフト Filmora
￥2,385
購入済み
-
物語が動き出す 演出アイテム図鑑
￥2,420
購入済み
-
Streamlit入門 Pythonで学ぶデータ可視化＆アプリ開発ガイド
￥3,960
購入済み
-
イチからはじめるCanvaビジネス活用入門
￥2,420
購入済み
-
世界標準MIT教科書 アルゴリズムイントロダクション 第4版 総合版
￥19,800
購入済み