formalization 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中九種圖的形式化定義,竝指出它們各自的作用。 返回 formalization uml