formalization uml
基本解释
- [计算机科学技术]形式化uml
英汉例句
- The chief task of consistent automatic checking UML model is to solve the formalization problem.
UML模型一致性自动检测的主要任务是解决形式化问题。
kns50.chkd.cnki.net - First, in terms of the complementarity of these two methods, the semantic definition, symbol definition and formalization definition of the UML/OOPN model are put forward.
首先根据两种方法的互补性,阐述了UML/OOPN模型的语义定义、图符定义和形式定义; - Second, the paper introduces the modeling characteristic of UML, provides formalization definition of nine kinds of diagram in UML using predicate logic, and points out their respective functions.
其次,本文对UML的建模特性进行了分析和研究,给出了UML中九种图的形式化定义,并指出它们各自的作用。
双语例句
专业释义
- 形式化uml