机译:自动支持从UML状态图得出测试要求
Software Quality Engineering Laboratory Carleton University-Department SCE, 1125 Colonel By Drive Ottawa, ON K1S5B6, Canada;
机译:使用UML状态图表示法自动压缩状态机
机译:使用适用于嵌入式控制系统的Z和状态图测试软件需求
机译:通过扩展的无上下文语法对UML状态图进行基于模型的测试
机译:在从UML StateCharts中获取测试数据的自动支持
机译:卫星自动公路系统:使用Rational Rose和UML进行需求的可视化建模。
机译:靠背并等待警报?测试用于医院爆发的自动报警系统为感染控制专业人员提供支持
机译:在从UML StateCharts中获取测试数据的自动支持