那种“只看结果，不看过程。”的观点，在软件工程中是得不到认可的，软件工程中强调“好的过程产生好的结果”。 （）

软件自动化方法是指利用计算机使软件的设计实现自动化的方法和相关的技术。软件自动化的实现途径有4种：过程途径、归纳途径、( )。

形式方法的目的是把软件作为数学来重新发现。形式方法被用来避免系统中的( )、不一致性。

供选择的答案：

A、软件就是没有固定形状的器件

B、软件是计算机系统中运行的程序、及其使用的数据以及相应的文档的集合

C、软件是指人力资源、人员素质等构成的系统

D、计算机系统中看不见、摸不着的都是软件