But they seem to put less emphasis on creating formal development methods which would be repeatable in future innovations.
但是他们似乎不太重视创建正式的开发方法，这些方法在未来的创新中是可以重复的。
| 单词 | Formal methods |
| 释义 |
Formal methods
原声例句
剑桥BEC中级听力真题（第2辑） But they seem to put less emphasis on creating formal development methods which would be repeatable in future innovations. 但是他们似乎不太重视创建正式的开发方法，这些方法在未来的创新中是可以重复的。 Crash Course 天文篇 Astrology literally means “study of the stars”; as a word it's been used before science became a formal method of studying nature. 占星术的字面意思是“关于星星的研究”；这个词在科学成为研究自然的正式方法之前就已经被使用很久了。 PTE_WDF 1033.Lectures are the oldest and the most formal teaching method at university. 讲座是大学里最古老、最正式的教学方法。
中文百科
形式化方法形式化方法，中文也称形式方法、正规方法。在计算机科学和软件工程领域，形式化方法是基于数学的特种技术，适合于软件和硬件系统的描述、开发和验证。将形式化方法用于软件和硬件设计，是期望能够像其它工程学科一样，使用适当的数学分析以提高设计的可靠性和鲁棒性。但是，由于采用形式化方法的成本高意味着它们通常只用于开发注重安全性的高度集成的系统。
英语百科
Formal methods 形式化方法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. |
| 随便看 |
|
英汉网英语在线翻译词典收录了3779314条英语词汇在线翻译词条，基本涵盖了全部常用英语词汇的中英文双语翻译及用法，是英语学习的有利工具。