问答题

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

答案: 给定的集合、数据类型及常数===状态定义===初始状态===操作===
题目列表

你可能感兴趣的试题

问答题

关于形式化说明技术,下列说法正确的是()。

答案: 应该选用适当的表示方法===应该形式化,但不要过分形式化===应该有形式化方法顾问随时提供咨询===
微信扫码免费搜题