摘要： 鲁棒性分析技术可以帮助开发人员精确地弥合分析与设计之间的鸿沟。统一建模语言（unified modeling language，UML）顺序图模型被广泛用于面向对象软件系统的分析与设计，它的鲁棒性至关重要。首先，引入形式化（试读）...
登录
