多项选择题
A.支持静态分析的工具 B.支持类型检查的工具 C.支持体系结构层次依赖分析的工具 D.支持体系结构动态特性仿真工具
A.体系结构权衡分析方法（ATAM方法） B.软件体系结构分析方法（SAAM方法） C.中间设计的积极评审（ARID方法） D.服务器分析方法
A.软件体系结构的非形式化描述 B.软件体系结构的规范描述和分析 C.软件体系结构的求精及其验证 D.软件体系结构的实施