单词
文章
取名
英语词组短语
formal semantic definition
英美
形式语义定义
formal semantic definition网络翻译
形式语意定义
正式保全政策模型 formal security policy model 形式语意定义 formal semantic definition 形式语意描述 formal semantic description ..
形式语义定义... semantic language 语义语言 formal semantic definition 形式语义定义 formal semantic description 形式语义描述 ...
formal semantic definition双语例句
The correctness of relationships among use case descriptions and semantic equivalence between use case descriptions can be analyzed based on the formal definition.
在形式化定义基础上，可进行用例描述间关联的正确性分析及语义等价分析。
相关单词
- swotn. 苦读的人；努力工作者；辛苦的工作 vi. 刻苦用功 vt. 刻苦攻读
- switchbackn. 在 Z 形路轨向原来的方向返驶；改变角度；之字形路 vi. 蜿蜒而行；采取迂回方针 adj. 曲折的；起伏不平的
- supervisorn. 监督者，管理者；（英国大学里负责学生研究工作的）指导教师；<美>镇长，县长
- strikebreakern. [劳经] 破坏罢工者
- stepsn. （楼外的）台阶；步伐；步数；步幅（step 的复数） vi. 踏，踩；走（step 的第三人称单数） vt. 走，迈步； 竖立（桅杆）于桅座上（step 的第三人称单数）
- stenographern. 速记员
- statisticiann. 统计学家，统计员
- stagnationn. （一国经济的）不景气，停滞；（水）不流动
- springboardn. 跳板；出发点 vi. 利用跳板跃进
- shantytownn. 以临时搭盖的陋屋为主的地区
- sewern. 下水道，阴沟；缝纫工，缝纫机；（中世纪贵族宅邸中的）司膳管家 v. 为……铺设污水管道，用下水道排除……的污水；清洗污水管
- sculptorn. 雕刻家，雕塑家
- schoolingn. 学校教育；学费；（马术）训练马在平地比赛（或跨越障碍） v. 教育，培养；训练，使学会（school 的现在分词形式） 【名】 （Schooling）（英）斯库林（人名）
- schoolgirln. 女学生
- satcheln. 书包；小背包