______________是故障树分析中最为关键的一步。
查看答案
______________将形式化方法的规范、设计和验证与可靠性认证的统计测试有效地结合起来。
在确定参与者和初步的用例之后,就可以建立______________,对参与者与用例之间、各用例之间的关系进行描述。
概念模型与顶层架构都是在系统的较高抽象层次上进行建模,______________主要针对问题域中的对象进行描述,而______________可以依据概念模型进行设计。
______________的主要目的是寻找一种理想的包划分方案,使每个包中直接包含的数量规模适中,包的边界清晰、自然,并且包间的耦合度比较低。