术语表

规约

规约是“系统应该做什么”的书面定义。

系统的行为属性/功能属性/逻辑属性，定义系统应该做什么。

数学是编写规约的基本工具。系统规约由大量普通数学公式和极少量时态逻辑公式组成。