软件设计过程中的各个活动的结果最终应文档化，形成正式的软件设计规格说明，作为软件设计的输出。
查看答案
管道/过滤器风格的特征是从向外提供服务的构件出发，沿着链接关系依次搜索个构件和连接，形成一个有向无圈图。
A. 对
B. 错
模型检验技术是通过搜索待验证软件系统模型的有穷状态空间来检验系统的行为是否具有与其性质的一种有穷状态系统自动验证技术。
A. 对
B. 错
确定属性和操作的作用范围的基本原则是尽量缩小作用范围，每个类仅公开那些为直接响应消息所必须的操作。原则上，属性可以在一定范围内公开。
A. 对
B. 错
变换分析和事务分析的最后一个步骤都是分解并精化事务结构以及每条动作路径所对应的结构，对结构进行优化，以提高软件设计的整体质量。
A. 对
B. 错
微信支付 
支付宝支付