loading错误响应的实例：
例子：所控制的最大电梯数4，最小电梯数是1，采用决策表描述错误响应
当前电梯数（n） 1 2，3 4
按下按钮 ↑ ↓ ↑ ↓ ↑ ↓ “电梯数”=n √ √ √ √ 最大电梯数=4 √ 最小电梯数=1 √
例子：控制的最大楼层数为20，最小楼层数为2
当前电梯数（n） 2 3~19 20
按下按钮 ↑ ↓ ↑ ↓ ↑ ↓ “楼层数”=n √ √ √ √ 最大楼层数=20 √ 最小楼层数=2 √
过程描述说明与功能描述说明的比较
功能描述说明：定义最终结果，可以定义这些及其他方式中的任何一种
过程描述说明：定义可能的方式，除了定义要求发生什么之外，每个过程描述说明，很大程
度上暗示了处理事情的方式
VDM维也纳方法
是一种基于状态的方法，以谓词演算为基础 格式：types
类型声明列表 State
变量声明列表 Inv
状态不变式 Init
初始变量值声明 End 常用符号：
分隔符；量词；逻辑运算与；集合运算符；映射符和函数 操作格式：
操作名（输出参数列表） 输出参数表 Pre
任何前置条件（true） Post
后置条件 函数格式：
函数名（参数表） 返回名：返回类型 Pre
前置条件 Post
后置条件
题型： 1、 填空 2、 名词解释 3、 简答 4、 画图 5、 综合
重点看课本第4、5章，要会画DFD 、状态转换图、框架图