1.
Consistency checking of UML class diagram based on description logics
基于描述逻辑的UML类图一致性检测
2.
Formalization Method for UML Class Diagram Based on SHOIN(D)
基于SHOIN(D)的UML类图形式化方法
3.
OWL Ontology Mapping Method Based on UML Class Diagram
基于UML类图的OWL本体映射方法
4.
ON ALGORITHM OF CONVERTING UML CLASS DIAGRAM TO XML Schema
UML类图到XML Schema的转换算法的研究
5.
Research of Software Size Estimation Service Model Based on UML Class Diagram;
基于UML类图的软件规模估算服务模型的研究
6.
Non-Functional Attributes Oriented Description and Verification in UML Class Diagrams
UML类图中面向非功能属性的描述和检验
7.
Research on Class Test Based on Extended UML Statechart Diagram;
基于扩充的UML状态图的类测试方法研究
8.
Automatic Test Cases Generantion of Class Testing from UML State Diagrams;
基于UML状态图的类测试用例自动生成方法研究
9.
The Design and Implementation of a Testing Method Based on UML Statechart for Object-Oriented Software at Class Level;
基于UML状态图的面向对象类级测试方法的研究与实现
10.
Methodology on the Unification of the Static Classified Diagrams Based on UML and Modeling and Coding;
基于UML的静态类图和ALSD实现建模与编码的统一的方法
11.
Study on Formal Method in UML Sequence Diagram and Statechart;
UML顺序图和状态图的形式化方法研究
12.
Study on A Conversion Method from UML Diagrams to SVG Graphics
UML图表到SVG图形转换方法研究
13.
Research on Model Checking UML Statecharts and Tool Implementation;
UML状态图模型检查技术及工具实现
14.
Research on Modeling for Workflow Based on UML Activity Graph;
基于UML活动图的工作流建模研究
15.
Applications and Software Testing Model Based on UML Dynamic View;
基于UML动态视图的测试模型及应用
16.
Modeling and Verification of the Workflows Based on UML-Statecharts;
基于UML状态图的工作流建模与验证
17.
Research on UML Graph Auto Generating in IT-Kid Platform;
IT-Kid中UML图形的自动生成研究
18.
2D Game Graphics Engine R&D & UML Modeling Complementation;
2D游戏图形引擎开发及UML建模实现