网站首页  词典首页

请输入您要查询的英文单词或汉字:

 

词汇 formal semantics
释义 formal semantics短语¹⁴⁴⁹⁷²⁺²
基本英英例句
形式语义

Noun:
the branch of semantics that studies the logical aspects of meaning An approach to modeling dynamic workflows based on the UML activity diagram and the UML state diagram was presented being supported by formal semantics.
该方法在扩展UML的基础上给出了两种建模机制,利用 UML活动图和状态图对动态工作流过程进行建模。 dictall

In this paper, based on coalgebra notions, treated a component which implements specifications as a concrete coalgebra and thus reasoned out the formal semantics of these specifications.
为了得到一套完整的形式化模型用于描述软件组件及其组成的系统,首先必须对软件组件的形式化语意进行定义。 xactad
随便看

 

英汉汉英双解词典包含9999994条英汉翻译词条,涵盖了常用英语单词及词组短语的翻译及用法,是英语学习的必备工具。

 

Copyright © 2000-2024 tbdmj.com All Rights Reserved 更新时间:2025/3/14 18:56:16