计算机软硬件系统都是形式化的产物,因此,人们希望在计算机软硬件系统开发的初期就全部使用形式化方法。然而,对于现实世界中很多复杂系统却很难,甚至无法用数学方法进行直接的描述。为最终实现形式化,就需要有一个中间过渡,其作用是先将系统的复杂度降下来,系统科学方法做的正是这项工作。下列关于系统方法描述正确的是 ( )
A.
系统方法针对的是复杂性问题,而复杂性又是相对的能力而言的
B.
系统方法是人们在生产过程中创造的认识现实世界的有效工具,使用这种工具可以大大地降低软件系统的复杂性,从而使软件的研制处于某种可控的状态
C.
在计算思维中,将系统科学中结构和层次的思想纳入计算思维的本质之抽象(分层抽象,也称抽象层次、分级抽象)之中,用于控制和降低软件系统的复杂性
D.
人与动物的区别在于人能创造工具,并能进行有效的分工,分层抽象就是这种分工思想在软件研制领域的具体化