Formal Methods in System Design

英美

Formal Methods in System Design网络翻译

系统设计的形式方法

Expert Systems with Applications 专家系统的应用 Formal Methods in System Design 系统设计的形式方法 Foundations of Computational Mathematics 计算数学基础 ..

Formal Methods in System Design双语例句

Rigorous Modeling is a core technology in embedded realtime system design and the combination of UML and formal methods would provide a better tool support to it.

严格建模是嵌入式实时系统设计的核心技术，通过UML方法与形式化方法结合可以给严格建模提供很好的工具支持。

相关单词

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. 书包；小背包