软件容错设计是使得软件能发现失效危险并从临失效状态恢复的软件设计技术,有两种主要的软件容错设计方法,分别是________________和________________。
查看答案
________________是关于在计算系统的开发中进行严格推理的理论、技术和工具,它主要包括形式规约技术和形式验证技术。
当数据流具有明显的事务特征时,即能找到一个事务(亦称触发数据项)和一个事务中心,采用________________分析法更为适宜。
_______________是用来描述软件密集型系统的总体结构的语言。
______________是信息隐藏和局部化概念的自然扩展,它标志这一个模块内部各成分彼此结合的紧密程度