1.
Approach for Transformation of ConcurTaskTrees to UML2.0
一种Concur任务树转化为UML2.0的方法
2.
Consistency Verification of Dynamic Behavioral Models in Real-time Software Based on UML2.0;
基于UML2.0的实时软件动态行为模型一致性验证
3.
Semantics Description of UML2.0 Sequence Diagrams Using the Temporal Logical Language XYZ/E;
基于XYZ/E的UML2.0顺序图的时序逻辑语义描述研究
4.
Design and Analysis of Re-configurable Multimedia Hardware Accelerator Using UML2.0;
使用UML2.0的可重构多媒体硬件加速器设计与分析
5.
Web Services Model Testing and Applications Based on UML2.0 Dynamic View;
基于UML2.0动态视图的Web服务模型测试方法及其应用