本讲在讲述软件建模方法时 主讲教师介绍了形式化思维方法。其基本思想是数学 集合 图与逻辑。思维
已帮助 人
本讲在讲述软件建模方法时，主讲教师介绍了形式化思维方法。其基本思想是数学、集合、图与逻辑。思维结果通过数学方法表达。基于数学的方法一般用于一致性检查、类型检查、有效性验证、行为预测, 设计求精验证。下列各选项中，________不属于形式化思维方法中采用的表达方法。
A．VDM语言
B．Z语言
C．C语言
D．Petri网
回答
共1条回复-
C语言