1.
Definition and verification of semantics of data flow in UML Statecharts
定义及验证UML Statechart图中的数据流语义
2.
Semantics and Verification of Data Flow in UML Statecharts
UML Statechart图中数据流的语义及验证
3.
Research on Software Test Case Automatic Generation Based on UML Statecharts;
基于UML Statechart图的软件测试用例自动生成技术研究
4.
Study on Formal Method in UML Sequence Diagram and Statechart;
UML顺序图和状态图的形式化方法研究
5.
Study on A Conversion Method from UML Diagrams to SVG Graphics
UML图表到SVG图形转换方法研究
6.
Research on Model Checking UML Statecharts and Tool Implementation;
UML状态图模型检查技术及工具实现
7.
Research on Modeling for Workflow Based on UML Activity Graph;
基于UML活动图的工作流建模研究
8.
Applications and Software Testing Model Based on UML Dynamic View;
基于UML动态视图的测试模型及应用
9.
Modeling and Verification of the Workflows Based on UML-Statecharts;
基于UML状态图的工作流建模与验证
10.
Research on UML Graph Auto Generating in IT-Kid Platform;
IT-Kid中UML图形的自动生成研究
11.
2D Game Graphics Engine R&D & UML Modeling Complementation;
2D游戏图形引擎开发及UML建模实现
12.
UML Model Verification and Test Based on Graph Transformation;
基于图形转换的UML模型验证与测试
13.
Analysis and Modeling on UML Recommender and Purchase System for Book;
UML的图书荐购系统的分析与建模
14.
Establishment of library management system using UML;
运用UML建模机制构建图书管理系统
15.
Research and Implementation of Converting UML Activity Diagram to PNML
UML活动图到PNML转换的研究与实现
16.
UML-Based Modeling and Design of Library Management System
基于UML的图书管理系统建模与设计
17.
Transformation from UML Sequence Diagram to Petri Net Based on XML
基于XML的UML时序图向Petri网的转换
18.
Analysis & Design on the Library Management System with UML
用UML进行图书管理系统分析与设计