题目内容

________________是对软件结构中模块间关联程度的一种度量，它的强弱取决于模块间接口的复杂性、进入或调用模块的位置以及通过接口传送数据的多少等。

查看答案

搜索结果不匹配？点我反馈

更多问题

软件设计受到资源和技术两方面的制约，其中，是指在目标软件开发过程中可以获取的时间、人力、财力、开发辅助工具等有限；__主要指开发的目标软件系统可以使用的方法、技术和平台具有一定的约束。

由Rational公司提出的“4+1”模型中包括、开发视图、进程视图、和场景。

软件容错设计是使得软件能发现失效危险并从临失效状态恢复的软件设计技术，有两种主要的软件容错设计方法，分别是和。

________________是关于在计算系统的开发中进行严格推理的理论、技术和工具，它主要包括形式规约技术和形式验证技术。