从 A 到 Z/封面

从 A 到 Z 建模

本书适用于所有想要了解在计算机系统设计中使用数学和逻辑的人员。

模型就像建筑图纸。它给人一种对尚未建造的实际事物的感觉。

我们将看一些明显非常简单的模型：

• 地址簿
• 废物管理系统
• 等等

我们将展示如何构建模型、如何演练模型以及如何使用众所周知但技术进行验证。例，如：

• Alloy
• B 工具
• 非 C 或 C++ 或其他类 C 编程语言
• ...
• VDM
• ...
• Z