问答题

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

答案：给定的集合、数据类型及常数===状态定义===初始状态===操作===

你可能感兴趣的试题

Petri网可用于表达同步问题、竞争条件以及死锁问题。

答案：对===

关于形式化说明技术，下列说法正确的是（）。

答案：应该选用适当的表示方法===应该形式化，但不要过分形式化===应该有形式化方法顾问随时提供咨询===