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