迁移提取算法论文

UML状态图模型检查技术及工具实现
论文摘要UML已经是软件建模方面的标准语言,UML状态图描述系统在其生命周期中的动态行为。随着系统规模的扩大和复杂度的提高,UML状态图往往包含设计者所未预料到的隐患,通过模型...