go top

formal method

  • 形式方法

网络释义专业释义

  形式化方法

形式化方法(Formal Method)是基于数学方法来描述目标软件系统性质的一门技术,它用严格的数学符号和数学法则对目标系统的结构与行为进行有效地描述、分析和...

基于68个网页-相关网页

短语

Formal method B 形式化方法B

the formal method 形式化方法

research on the formal method 形式化方法研究

Software Engineering and Formal Method 软件工程与形式化方法

formal proof method 形式化的证明方法

formal design method 形式化方法

formal-series method 形式级数法

formal series method 形式级数法

 更多收起网络短语
  • 形式化分析
  • 形式化分析

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

双语例句原声例句权威例句

  • If you design software for a large organization, there may be an established standard methodology practiced informally or as a mandatory formal method.

    如果为大型组织设计软件,则可能会有确定的以经过实践的非正式方式或强制的正式方式采用的标准方法。

    youdao

  • But even if you are not using a formal method that requires refactoring, Eclipse's refactoring tools provide a time-saving way to make common types of code changes.

    但即便您并没有使用要求进行正式重构的方法,Eclipse的重构工具还是可以在进行一般的代码修改时提供节约时间的方法。

    youdao

  • The type system is a formal method and tool for designing and studying programming languages.

    类型系统是一种设计和研究程序设计语言的形式化方法和工具。

    youdao

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

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

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