1.
Verification Method of Concurrent Workflows Based on Extended UML Statecharts
一种基于扩展UML状态图的并发工作流验证方法
2.
Research on Class Test Based on Extended UML Statechart Diagram;
基于扩充的UML状态图的类测试方法研究
3.
Research of workflow modeling based on extended UML activity diagrams
基于扩展UML活动图的工作流模型研究
4.
Study on Formal Method in UML Sequence Diagram and Statechart;
UML顺序图和状态图的形式化方法研究
5.
Research on Model Checking UML Statecharts and Tool Implementation;
UML状态图模型检查技术及工具实现
6.
Modeling and Verification of the Workflows Based on UML-Statecharts;
基于UML状态图的工作流建模与验证
7.
Research of the EDFA Equipment Based on UML State Diagram
基于UML状态图的EDFA设备的研究
8.
Semantic Research on UML State-chart Based on rCOS
基于rCOS的UML状态图语义研究
9.
Modeling Method of Workflow Process Based on Extended UML Activity Diagram;
基于扩展的UML活动图的工作流过程建模
10.
An act of enlarging or the state of being enlarged.
扩大，扩展扩展的行为或扩大了的状态
11.
Research & Implementation of Automated Test Case Generation Based on UML Statement Diagram Model;
基于UML状态图的测试用例自动生成研究
12.
Automatic Test Cases Generantion of Class Testing from UML State Diagrams;
基于UML状态图的类测试用例自动生成方法研究
13.
Formalization and Consistency Checking of UML-Statechart Based on DL-Safe Rule
基于DL-Safe规则的UML状态图形式化和一致性验证
14.
Workflow modeling with extended UML activity diagrams and its transformation into XPDL
基于扩展UML活动图的工作流建模及其到XPDL的转换
15.
UML Statechart Slicing Based on Dependency Analysis in the Regression Testing;
基于依赖性分析的UML状态图切片在回归测试中的应用
16.
Research and Implementation of the Protocol Conformance Testing System for Routing Protocol OSPF Based on UML Statechart;
基于UML状态图OSPF路由协议一致性测试系统研究与实现
17.
Research on the Test Case Generation Method Based on UML Statecharts for Real-time Embedded Software;
基于UML状态图的嵌入式实时软件测试用例生成方法研究
18.
The Design and Implementation of a Testing Method Based on UML Statechart for Object-Oriented Software at Class Level;
基于UML状态图的面向对象类级测试方法的研究与实现