题目内容
(请给出正确答案)
[单选题]
本讲在讲述软件建模方法时,主讲教师介绍了形式化思维方法。其基本思想是数学、集合、图与逻辑。思维结果通过数学方法表达。基于数学的方法一般用于一致性检查、类型检查、有效性验证、行为预测, 设计求精验证。下列各选项中,________不属于形式化思维方法中采用的表达方法。
A.VDM语言
B.Z语言
C.C语言
D.Petri网
答案
面向对象建模;结构化建模
如搜索结果不匹配,请 联系老师 获取答案
A.VDM语言
B.Z语言
C.C语言
D.Petri网
第1题
A.C语言
B.VDM语言
C.Z语言
D.Petri网
第2题
A.类图
B.状态图
C.活动图
D.数据流图
第7题
A.数据流图可以用于功能/模块关系设计
B.IDEF1X图/E-R图可以用于永久存储与数据库的设计
C.程序流程图可以用于数据结构与算法的设计
D.业务单据可以用于数据组织及输入输出方式的设计
E.其他选项中有错误的说法
第8题
A.不可视性与主观性
B.软件规模与复杂性
C.易变性与不确定性
D.灵活性与易用性
为了保护您的账号安全,请在“赏学吧”公众号进行验证,点击“官网服务”-“账号验证”后输入验证码“”完成验证,验证成功后方可继续查看答案!