在线词典
在线词典，是一款在线使用的中英文查词词典。本工具支持查询英文和中文单词及词组的含义，查询效率高、结果丰富，包括单词变体、常用短语、英英释义、同义词、同根词、词语辨析等，是外语学习者必备的在线查词工具。
输入要查询的单词：
formal methods
查词链接：
https://www.dute.org/dict/formal_methods复制链接 形式化方法
查看英英释义
abstract:
In computer science, specifically software engineering and hardware engineering, formal methods are a particular kind of mathematically based techniques for the specification, development and verification of software and hardware systems. The use of formal methods for software and hardware design is motivated by the expectation that, as in other engineering disciplines, performing appropriate mathematical analysis can contribute to the reliability and robustness of a design.
网络释义
形式化方法
形式化方法(Formal Methods)是基于离散数学和形式逻辑的一种方法,它采用形式语义符号和工具表述所要设计的计算机系统,并根据系统规范对系统的性质和正确性进...
形式方法
_VDMZ_.DOC 关键字： VDM， Z，形式方法，规范描述语言 [gap=8477]KEYWORDS: VDM, Z, Formal Methods, Specification Languages
正型理论
... 异质性系统整合(Heterogeneous System Integration) 正型理论(Formal Methods) 4. 以网路为中心的指挥与管制系统(Network-centric Command and Control Systems) ...
常用短语
更多常用短语正在查询...
{error}
你是不是想查找：
- {typos}
{word}
{phones} {trans} {trans_ee} {exam_types}{web_trans} {variants} {phrases} {synonyms} {rels} {discriminations} 查词链接：
{link}复制链接{phones}
{text}：[{value}]{trans}
{trans}
{pos}
{tran}
{tran}
查看英英释义
{trans}
{pos}
{list} {tran}
{words}{word}同义词： {words}
{pos}
{words}
{exam_types}
单词变体
- {variants}
常用短语
- {phrases}
网络释义
{web_trans}
{tran}
{detail}
近义词
{synonyms}
{pos} {tran}
{words}
同根词
{rels}
{pos}
{words}
{word}{tran}
词语辨析
{discriminations}
{num}、{title}
{description}- {usages}
{description}