go top

formal methods

  • 形式化方法

网络释义专业释义英英释义

  形式化方法

形式化方法(Formal Methods)是基于离散数学和形式逻辑的一种方法,它采用形式语义符号和工具表述所要设计的计算机系统,并根据系统规范对系统的性质和正确性进...

基于2848个网页-相关网页

  形式方法

_VDMZ_.DOC 关键字: VDM, Z,形式方法,规范描述语言 [gap=8477]KEYWORDS: VDM, Z, Formal Methods, Specification Languages

基于28个网页-相关网页

  正型理论

... 异质性系统整合(Heterogeneous System Integration) 正型理论(Formal Methods) 4. 以网路为中心的指挥与管制系统(Network-centric Command and Control Systems) ...

基于4个网页-相关网页

短语

formal methods model 方法模型 ; 形式方法模型 ; 形式化方法模型

Theory and formal methods 理论与形式化方法

Formal Methods and Verification 形式化方法与验证

Formal Methods and Tools 正式的方法和工具 ; 形式化方法和工具

Integrated Formal Methods 集成形式化方法

Teaching Formal Methods 形式方法教学

Formal Methods in System Design 系统设计的形式方法

Formal Methods for Components 组件与对象用形式方法

 更多收起网络短语
  • 形式方法 - 引用次数:8

    And software development automation relies on the degree of software refinement automation. Structured methods, object-oriented methods and formal methods are three kinds of prime software development methods.

    结构化方法、面向对象方法形式方法是目前软件开发中使用的三种主要方法

    参考来源 - SOZRSL软件需求规格说明语言及其求精
  • 形式化方法

·2,447,543篇论文数据,部分数据来源于NoteExpress

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.

以上来源于: WordNet

双语例句权威例句

  • Such formal methods may help us sharpen our logic, but we almost never apply them in the real world.

    这种正式方法可能会帮助我们锻炼逻辑思维能力,但是我们基本上决不会它们应用实际的工作当中。

    youdao

  • Formal methods of review are simply impractical to implement for 100% of your code (or any percent, some would argue).

    100%代码使用评审规范方法有人对这个百分比存在异议简单来说是不现实的。

    youdao

  • In many ways, using these formal methods imposes much of the discipline (and limitations) you find in traditional OOP languages.

    许多方面使用这些形式方法会采用传统OOP语言中的许多原理(限制)。

    youdao

更多双语例句
更多权威例句
$firstVoiceSent
- 来自原声例句
小调查
请问您想要如何调整此模块?

感谢您的反馈,我们会尽快进行适当修改!
进来说说原因吧 确定
小调查
请问您想要如何调整此模块?

感谢您的反馈,我们会尽快进行适当修改!
进来说说原因吧 确定