（）支持对构件之间交互的形式化和分析。

[名词解释] 形式化的社会控制和非形式化的社会控制

[判断题]根据教育的正规程度，教育的形态可分为非形式化教育和形式化教育。（）A.对B.错

[判断题]根据教育的正规程度，教育的形态可分为非形式化教育和形式化教育。（）A.对B.错

[判断题]根据教育的正规程度，教育的形态可分为非形式化教育和形式化教育。（）A.对B.错

[单选题]以下现象中，（）是形式化的社会控制，（）是非形式化的社会控制。A . 法律、法规；道德、宗教B . 风俗习惯、道德；法律、宗教C . 军队、艺术；法庭、法律D . 条例、习惯；规程、时尚

[多选题] 静态测试是以人工的、非形式化的方法对程序进行分析和测试。常用的静态测试方法有（）。A .运行程序并分析运行结果B .桌前检查与代码会审C .数据流分析图D .调用图

[判断题]美国研究生培养过程具有形式化、标准化和专门化。（　）A.对B.错

[单选题]描述场景所使用的表示法要符合正规性要求，一般可使用非形式化语言、半形式化语言和形式化语言。在实践中，（）是主要的描述方式。A . 形式化的程序语言B . 非形式化的自然语言C . 形式化的图形工具D . 非形式化的设计语言

[单选题]可用形式化的方法描述和求解的一类决策问题属于（）A . 结构化方法B . 半结构化方法C . 非结构化方法D . 地理问题决策

[填空题] 对动态软件体系结构的形式化描述通常有（）、（）、（）三种方法。