形式化方法(Formal Method)是基于数学方法来描述目标软件系统性质的一门技术,它用严格的数学符号和数学法则对目标系统的结构与行为进行有效地描述、分析和...
基于68个网页-相关网页
Formal method B 形式化方法B
the formal method 形式化方法
formal method Designware 形式化方法Designware
formal method ov VLSI 超大规模集成电路正规方法
research on the formal method 形式化方法研究
Software Engineering and Formal Method 软件工程与形式化方法
Formal engineering method 工程方法
formal proof method 形式化的证明方法
The type system is a formal method and tool for designing and studying programming languages.
类型系统是一种设计和研究程序设计语言的形式化方法和工具。
So far, formal method is still one of the most effective methods to detect feature interaction problems.
目前,形式化方法在检测特征交互问题方面仍然是最有效的方法之一。
Strand Space Model (SSM) is a practical, intuitive and strict formal method for security protocol analysis.
串空间模型是分析安全协议的一种实用、直观和严格的形式化方法。
Now "The Theory of the Formal Method," Eikhenbaum's essay that you've read for today, was written in 1927.
这篇,形式语言学理论“,是艾肯鲍姆,在1927年写的。
应用推荐