以下哪些属于软件设计的动态视图（）

A活动图

B流程图和结构化流程图

CJackson 结构图

D状态转移和状态图

E形式规范语言