1.
Formal UML-Based Relational Database;
基于形式化UML的关系数据库实现策略
2.
Study on Formal Method in UML Sequence Diagram and Statechart;
UML顺序图和状态图的形式化方法研究
3.
The Research on B Formal Specification of UML Use Case Model
UML用例模型的B形式化描述方法研究
4.
Formal Language B and UML/OCL Comparison
形式化语言B与UML/OCL的比较
5.
Formalization Method for UML Class Diagram Based on SHOIN(D)
基于SHOIN(D)的UML类图形式化方法
6.
Combination of Formalization and UML Modeling Method and its Application
形式化与UML结合的建模方法及其应用
7.
Formal Analysis and Application of Real-time Systems Based on UPPAAL and UML;
基于UPPAAL和UML的实时系统形式化分析与应用
8.
Aspect-Oriented Model for Real-Time Systems Based on UML and Formal Methods;
基于UML和形式化方法的面向方面实时系统模型
9.
Formalization and Consistency Checking of UML-Statechart Based on DL-Safe Rule
基于DL-Safe规则的UML状态图形式化和一致性验证
10.
However, its lack of rigor and formal semantics prevents it further developing.
但UML没有精确的、形式化的语义阻碍了它的进一步发展 .
11.
The Research and Application of Software Architecture Based on UML and Formal Method;
基于UML和形式化方法的软件体系结构研究与应用
12.
A Formal Analysis Method and Its Application Based on UML Requirement Modeling
基于UML需求建模的一种形式化分析方法及其应用
13.
The Research on Translating UML Diagram to B-Method Formal Specification and Its Application;
UML模型图到B方法形式规约的转换研究与应用
14.
Research on UML Graph Auto Generating in IT-Kid Platform;
IT-Kid中UML图形的自动生成研究
15.
2D Game Graphics Engine R&D & UML Modeling Complementation;
2D游戏图形引擎开发及UML建模实现
16.
UML Model Verification and Test Based on Graph Transformation;
基于图形转换的UML模型验证与测试
17.
Study on A Conversion Method from UML Diagrams to SVG Graphics
UML图表到SVG图形转换方法研究
18.
The Development and Application of WEB Based on UML and Design Pattern;
基于UML和设计模式的Web应用开发