说明：双击或选中下面任意单词，将显示该词的音标、读音、翻译等；选中中文或多个词，将显示翻译。
您的位置：首页 -> 词典 -> 形式化语义分析
1)  formal semantic analysis
形式化语义分析
2)  the semantic analysis of the formal category
形式范畴的语义分析
例句>>
3)  formal semantics
形式化语义
1.
It discribes the weaving process between aspects and core components, as well as the weaving process between aspects themselves in statecharts, and then uses the formal semantics of process algebra to describe extended statecharts.
本文利用UML的扩展机制将方面加入状态图中,描述了状态图中的方面与核心组件以及方面之间的编织,然后利用进程代数的形式化语义描述了扩展后的UML状态图,克服了扩展UML描述状态图的缺乏形式化动态语义,不利于对模型进行形式化验证和证明的缺点。
2.
However,UML does not have a formal semantics,so it could not fulfill the needs of the protocol in precise.
但是,UML缺乏形式化语义,因此不能满足协议精确性的要求。
3.
0 sequence diagram and state diagram,the formal semantics of UML 2.
0顺序图和状态图语法和语法约束的基础上,采用可执行的线性时序逻辑语言XYZ/E定义其形式化语义,这样不仅便于UML2。
更多例句>>
4)  formal semantic
形式化语义
例句>>
5)  Semantic Pattern Analysis
语义模式分析
例句>>
6)  sense and pattern analysis
语义和范式分析
补充资料：公理化方法(见公理化和形式化)


公理化方法(见公理化和形式化)
axiomatical method

　　gongllbuafangfa公理化方法化和形式化。(axiomatieal method)见公理
　　
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条