5、形式化方法是开发大型、复杂软件的主要方法。
5、形式化方法是开发大型、复杂软件的主要方法。
参考答案和解析
B
相关考题：
以下关于软件开发方法的叙述，错误的是（ ）。A.对于较为复杂的应用问题，适合采用形式化方法进行需求分析 B.形式化方法的优势在于能够精确地表述和研究应用问题及其软件实现 C.净室软件工程将正确性验证作为发现和排除错误的主要机制 D.净室软件工程强调统计质量控制技术，包括对客户软件使用预期的测试
James Martin给出了信息工程的概念和方法，其主要贡献是______。A) 将数据库技术列入系统开发B) 扩展了传统的软件工程方法C) 将信息系统开发技术形式化D) 降低了信息系统开发成本A．B．C．D．
关于软件开发技术的描述，错误的是（）。A、开发大型软件应当使用软件工程学的方法B、软件开发最主要的工作就是编写程序C、软件测试的主要任务是发现错误和排除错误D、软件开发首先要进行需求分析，主要任务是理解和表达用户的要求，进行可行性分析
单选题关于软件开发技术的描述，错误的是（）。A开发大型软件应当使用软件工程学的方法B软件开发最主要的工作就是编写程序C软件测试的主要任务是发现错误和排除错误D软件开发首先要进行需求分析，主要任务是理解和表达用户的要求，进行可行性分析
单选题下列（）不是软件开发方法。A结构化B成本估算C形式化D面向对象