形式化方法(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 形式级数法
If you design software for a large organization, there may be an established standard methodology practiced informally or as a mandatory formal method.
如果为大型组织设计软件,则可能会有确定的以经过实践的非正式方式或强制的正式方式采用的标准方法。
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的重构工具还是可以在进行一般的代码修改时提供节约时间的方法。
The type system is a formal method and tool for designing and studying programming languages.
类型系统是一种设计和研究程序设计语言的形式化方法和工具。
Now "The Theory of the Formal Method," Eikhenbaum's essay that you've read for today, was written in 1927.
这篇,形式语言学理论“,是艾肯鲍姆,在1927年写的。
应用推荐