| 释义 |
1 ?形式化方法 形式化方法(Formal Methods)是基于离散数学和形式逻辑的一种方法,它采用形式语义符号和工具表述所要设计的计算机系统,并根据系统规范对系统的性质和正确性进... 2 ?形式方法 _VDMZ_.DOC 关键字： VDM， Z，形式方法，规范描述语言 [gap=8477]KEYWORDS: VDM, Z, Formal Methods, Specification Languages 3 ?正型理论 ... 异质性系统整合(Heterogeneous System Integration) 正型理论(Formal Methods) 4. 以网路为中心的指挥与管制系统(Network-centric Command and Control Systems) ...
- 1
Such formal methods may help us sharpen our logic, but we almost never apply them in the real world. 这种正式的方法可能会帮助我们锻炼逻辑思维能力，但是我们基本上决不会将它们应用在实际的工作当中。 - 2
Formal methods of review are simply impractical to implement for 100% of your code (or any percent, some would argue). 对100%的代码使用评审的规范方法有人对这个百分比存在异议，简单来说是不现实的。 - 3
In many ways, using these formal methods imposes much of the discipline (and limitations) you find in traditional OOP languages. 在许多方面，使用这些形式方法会采用传统OOP语言中的许多原理(和限制)。
|