由Rational公司提出的“4+1”模型中包括________________、开发视图、进程视图、________________和场景。
查看答案
软件容错设计是使得软件能发现失效危险并从临失效状态恢复的软件设计技术，有两种主要的软件容错设计方法，分别是________________和________________。
________________是关于在计算系统的开发中进行严格推理的理论、技术和工具，它主要包括形式规约技术和形式验证技术。
当数据流具有明显的事务特征时，即能找到一个事务（亦称触发数据项）和一个事务中心，采用________________分析法更为适宜。
_______________是用来描述软件密集型系统的总体结构的语言。
微信支付 
支付宝支付