用Z语言描述的、最简单的形式化规格说明包含()。


用Z语言描述的、最简单的形式化规格说明包含()。

A.给定的集合、数据类型及常数

B.状态定义

C.初始状态

D.操作

正确答案:ABCD


Tag:软件工程 状态 常数 时间:2021-08-06 16:32:08