在线词典

分类:语言工具
在线词典,是一款在线使用的中英文查词词典。本工具支持查询英文和中文单词及词组的含义,查询效率高、结果丰富,包括单词变体、常用短语、英英释义、同义词、同根词、词语辨析等,是外语学习者必备的在线查词工具。

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) ...
常用短语
更多常用短语
* 以上查询结果来自于网络,仅供参考。
正在查询...