单项选择题

A.抽象
B.理论
C.实验和论证
D.自动化设计及实现