University of Bremen, Department of Computer Science P.O. Box 330440, D-28334 Bremen, Germany;
机译:使用UML状态机图和序列图对面向对象系统的回归测试
机译:使用深度优先搜索算法从UML活动图和序列图自动生成测试用例
机译:需求分析,UML交互图和状态转换图
机译:一个UML活动将转换为在支持规范和工作流程应用程序模型的验证的事件B中转换:从UML活动图到事件B.
机译:UML交互图到活动图的基于XMI的转换。
机译:交互图:一种用于观察组交互的方法的开发
机译:UML交互图:将序列图正确转换为协作图