A.

从宏观上描述一个软件系统应该如何组织

B.

将用户的需求用算法描述出来

C.

建立一个准确的、一致的系统模型以描述软件需要解决的问题

D.

对代码进行测试，以验证最终代码是否满足软件需求