计算机软硬件系统都是形式化的产物，因此，人们希望在计算机软硬件系统开发的初期就全部使用形式化方法。然而，对于现实世界中很多复杂系统却很难，甚至无法用数学方法进行直接的描述。为最终实现形式化，就需要有一个中间过渡，其作用是先将系统的复杂度降下来，系统科学方法做的正是这项工作。下列关于系统方法描述正确的是 （）

A.系统方法针对的是复杂性问题，而复杂性又是相对于人的能力而言的

B.系统方法是人们在生产过程中创造的认识现实世界的有效工具，使用这种工具可以大大地降低软件系统的复杂性，从而使软件的研制处于某种可控的状态

C.在计算思维中，周以真将系统科学中结构和层次的思想纳入计算思维的本质之抽象（分层抽象，也称抽象层次、分级抽象）之中，用于控制和降低软件系统的复杂性

D.人与动物的区别在于人能创造工具，并能进行有效的分工，分层抽象就是这种分工思想在软件研制领域的具体化