UPPAALによる性能モデル検証
購入済み
シリーズ
全1冊
作品情報
※この商品はタブレットなど大きいディスプレイを備えた端末で読むことに適しています。また、文字だけを拡大することや、文字列のハイライト、検索、辞書の参照、引用などの機能が使用できません。UPPAALは，モデル検査ツールとしては比較的利用が容易ではあるが，実際の開発には多くのハードルがある．本書では，そのようなハードルを乗り越えるために必要な，UPPAALツール，時間オートマトン，検証したい性質を記述するための時間時相論理に関する知識，および実際の開発で検証の対象となるUML設計仕様のUPPAALによるモデル化方法など，具体的事例も交えてノウハウを解説している．
- 著者
- 出版社 近代科学社
- ジャンル
- シリーズ UPPAALによる性能モデル検証
- 電子版配信開始日 2022/01/14
- ファイルサイズ 29.89 MB
作品をシェアする
同じ作者の本
-
ソフトウェアパターン
￥3,960
購入済み
-
SPINによる設計モデル検証
￥3,960
購入済み
-
Bメソッドによる形式仕様記述
￥3,960
購入済み
-
並行システムの検証と実装
￥5,060
購入済み
-
実践的ソフトウェア工学
￥2,750
購入済み
-
UPPAALによる性能モデル検証
￥4,180
購入済み
-
VDM++による形式仕様記述
￥4,180
購入済み
-
ソフトウェア科学基礎
￥4,180
購入済み
-
実践的ソフトウェア工学 第2版 実践現場から学ぶソフトウェア開発の勘所
￥2,970
購入済み
-
アジャイルイントロダクション Agile開発の光と影
￥3,850
購入済み
近代科学社のおすすめ本
-
世界標準MIT教科書 アルゴリズムイントロダクション 第4版 第2巻 高度な設計と解析の手法・高度なデータ構造・グラフアルゴリズム
￥4,950
購入済み
-
図解 深層学習 数理で理解する基本原理
￥3,850
購入済み
-
独習 ガロア理論
￥4,290
購入済み
-
世界標準MIT教科書 アルゴリズムイントロダクション 第4版 第1巻 基礎・ソートと順序統計量・データ構造・数学的基礎
￥4,950
購入済み
-
増補新訂版 よくわかるC言語 イメージと例題で理解するStep ABC
￥2,475
購入済み
-
ベイズ最適化 適応的実験計画の基礎と実践
￥4,180
購入済み
-
数理物理と数理情報の基礎
￥2,420
購入済み
-
サプライチェーンリスク管理と人道支援ロジスティクス
￥7,700
購入済み
-
人間中心設計の国内事例
￥3,850
購入済み
-
可換環論の様相 クルルの定理と正則局所環
￥3,080
購入済み
スマホ・PC・ITのおすすめ本
-
Microsoft認定資格試験テキスト AZ-104：Microsoft Azure Administrator
￥3,520
購入済み
-
これからのJavaScriptの教科書
￥3,520
購入済み
-
Google AI Studio 超入門
￥2,970
購入済み
-
おうちで学べる Pythonのきほん
￥2,420
購入済み
-
最善のリサーチ プロダクト開発で最善なリサーチとは何か。計画から実施、結果の分析まで、本質的解説から学ぶ。
￥2,739
購入済み
-
プロセス・オブ・UI/UX［UXデザイン編］ 実践形式で学ぶリサーチからユーザー調査・企画・要件定義・改善まで
￥2,420
購入済み
-
Python2年生 スクレイピングのしくみ 第2版 体験してわかる！会話でまなべる！
￥2,420
購入済み
-
プロセス・オブ・UI/UX［UIデザイン編］ 実践形式で学ぶワイヤーフレームからビジュアルデザイン・開発連携まで
￥2,750
購入済み
-
アートディレクターの流儀 考え方・つくり方のデザインストーリー
￥3,850
購入済み
-
Rで学ぶVAR実証分析（改訂２版） ―時系列分析の基礎から予測まで―
￥5,500
購入済み