從 A 到 Z/封面

從 A 到 Z 建模

本書適用於所有想要了解在計算機系統設計中使用數學和邏輯的人員。

模型就像建築圖紙。它給人一種對尚未建造的實際事物的感覺。

我們將看一些明顯非常簡單的模型：

• 地址簿
• 廢物管理系統
• 等等

我們將展示如何構建模型、如何演練模型以及如何使用眾所周知但技術進行驗證。例，如：

• Alloy
• B 工具
• 非 C 或 C++ 或其他類 C 程式語言
• ...
• VDM
• ...
• Z