[BOOKデータベースより]
リソースには限界がある。技術者にとって大切なことは制約の中で目的とする記述を得る方法の習得である。本書はまさにこのようなモデリング技法について述べている。
第１章 モデル検査とは―自動検証とモデル検査法
第２章 ＳＰＩＮを使ってみよう―Ｐｒｏｍｅｌａの書き方とコマンドの使い方
第３章 性質を表現する―正しさの基準
第４章 対象を広げる―Ｐｒｏｍｅｌａの実行規則
第５章 仕組みを理解する―ＳＰＩＮの検証法
第６章 ケーススタディ・１ソフトウェアデザインを検証する―状態遷移ダイアグラムの解析
第７章 ケーススタディ・２モデル検査を使い分ける―Ｊａｖａ並行プログラムの解析
第８章 ケーススタディ・３組込みソフトウェアの解析に使う―システムソフトウェアへの適用
第９章 ケーススタディ・４検査対象の大きさを適切に保つ―抽象化の方法
第１０章 ケーススタディ・５デザイン検証の実際を知る―分散コンポーネントの振舞い検証
この商品をご覧のお客様は、こんな商品もチェックしています。
- なぜあの人は時間を守れないのか
-
価格：1,155円（本体1,050円＋税）
【2026年01月発売】
- 時間と死
-
価格：1,210円（本体1,100円＋税）
【2024年06月発売】
- 科学イラストから学ぶ 一目で効果的に技術を伝える方法
-
価格：2,420円（本体2,200円＋税）
【2025年08月発売】
- 愛をつくる技術
-
価格：1,980円（本体1,800円＋税）
【2025年11月発売】
- 優れたデザインにとってコンセプトが重要な理由
-
価格：3,520円（本体3,200円＋税）
【2023年06月発売】
のマークが目印です。
