机译:基于机构的 UML 活动图转换与语义保留
Laboratory LaTICE - ESSTT, University of Tunis, Tunisia;
formal semantics; institution; model driven engineering; Event-B; UML activity diagram; UML AD; formal verification;
机译:Automatic scenario-oriented test case generation from UML activity diagrams: a graph transformation and simulation approach
机译:A GRAPH TRANSFORMATION APPROACH FOR MODELING AND VERIFICATION OF UML 2.0 SEQUENCE DIAGRAMS
机译:Transformations Between UML Diagrams
机译:从uml-diagram与并发的进化测试案例
机译:UmL Diagrams Generator:一个新的CasE工具,用于构建事件表中的用例和类图