统一建模语言状态图相关论文
为了辅助软件开发者理解形式化规格说明,提出一种从B方法规格说明中提取UML状态图的方法。通过分析状态信息在规格说明中的表现形......
针对现有关于统一建模语言状态图形式化语义研究过程中存在的缺点,给出一种统一建模语言状态图的形式化语法表示方法,结合统一网、......
基于状态的类测试是面向对象测试技术的一个重要方面。一种新的基于状态的多角度的面向对象类测试策略,即融合UML Statecharts和EF......
统一建模语言（UML）状态图包括静态语义和动态语义。针对该特点,提出基于动态描述逻辑的UML状态图形式化方法,介绍动态描述逻辑DDL_SH......
