机译:来自SOA系统的事件日志的挖掘分层UML序列图,同时在抽象和详细的模型之间进行平衡
机译:具有UML序列图和彩色Petri网的反应系统的基于模型的需求分析
机译:具有UML序列图和彩色Petri网的反应系统的基于模型的需求分析
机译:使用UML状态机图和序列图对面向对象系统的回归测试
机译:一个UML活动将转换为在支持规范和工作流程应用程序模型的验证的事件B中转换:从UML活动图到事件B.
机译:通过动态分析实现实时,分布式系统的UML序列图的逆向工程。
机译:UMLS中的循环等级关系:病因诊断治疗并发症和预防。
机译:迈向UML扩展的动态元建模:UML序列图的可扩展语义