题目内容
(请给出正确答案)
[主观题]
形式化方法是开发大型、复杂软件的主要方法。
提问人:网友gjwyglyxgs
发布时间:2022-01-07
软件开发的形式化方法模型利用数学方法:( )
A、为基于计算机的系统定义了规格说明
B、开发无缺陷的计算机系统
C、验证计算机系统的正确性
D、以上所有
请自行提出当前移动互联网、物联网、大数据环境下的某个软件创意,经过可行性分析,得到该创意的可行性研究报告或者软件开发任务书,经过需求分析后得到需求规格说明书。 大作业要保持从提出创意、可研、需求分析、系统设计、原型实现的一致性。 对于IT专业的学员则要求实现其中的核心功能或者全部(附加要求),非IT专业的学员可以用原型工具实现原型。
为了保护您的账号安全,请在“简答题”公众号进行验证,点击“官网服务”-“账号验证”后输入验证码“”完成验证,验证成功后方可继续查看答案!