Formal Methods
形式化方法
Formal Methods网络翻译
形式化方法(Formal Methods)是基于离散数学和形式逻辑的一种方法,它采用形式语义符号和工具表述所要设计的计算机系统,并根据系统规范对系统的性质和正确性进...
形式方法_VDMZ_.DOC 关键字： VDM， Z，形式方法，规范描述语言 [gap=8477]KEYWORDS: VDM, Z, Formal Methods, Specification Languages
正型理论... 异质性系统整合(Heterogeneous System Integration) 正型理论(Formal Methods) 4. 以网路为中心的指挥与管制系统(Network-centric Command and Control Systems) ...
Formal Methods常用短语
1. Formal Methods and Tools：正式的方法和工具 ; 形式化方法和工具
2. Integrated Formal Methods：集成形式化方法
3. Teaching Formal Methods：形式方法教学
4. Formal Methods in System Design：系统设计的形式方法
5. Formal Methods for Components：组件与对象用形式方法
Formal Methods双语例句
Such formal methods may help us sharpen our logic, but we almost never apply them in the real world.
这种正式的方法可能会帮助我们锻炼逻辑思维能力，但是我们基本上决不会将它们应用在实际的工作当中。
Formal methods of review are simply impractical to implement for 100% of your code (or any percent, some would argue).
对100%的代码使用评审的规范方法有人对这个百分比存在异议，简单来说是不现实的。
In many ways, using these formal methods imposes much of the discipline (and limitations) you find in traditional OOP languages.
在许多方面，使用这些形式方法会采用传统OOP语言中的许多原理(和限制)。
相关单词
- mythologyn. 神话，神话故事；错误的信念，谬误；神话学
- municipalityn. 市政当局；自治市
- mountebankn. 江湖郎中，骗子 vi. 行骗；走江湖卖假药
- milkmann. 牛奶商；送奶工人；挤奶员工 n. （Milkman）人名；（英）米尔克曼
- midgetn. 侏儒；（非正式）矮子，小东西；（修饰语）少年（业余运动）的 adj. 极小的，小型的 n. （Midget）（美、加、澳）密德杰特（人名）
- metropolisn. （国或地区的）首都，首府；大都会，大城市；教会省份的首领；殖民地的起源城市或国家 【名】 （Metropolis）（英）梅特罗波利斯（人名）
- meteorologyn. 气象状态，气象学
- merry go round旋转木马
- maturityn. （思想行为、作品等）成熟；发育成熟，长大成人；到期；（债券等）偿还期；（保险单、证券等）有固定到期日的票据
- matriculationn. 入学考试；大学入学许可；录取入学
- mathematiciann. 数学家 善作数字计算的人
- marketingn. 促销，营销 v. 推销，促销；出售；做买卖（market 的现在分词形式）
- manifestationn. 表现，显现；表现形式；（鬼魂或神灵）出现，显灵；示威运动
- mailmann. 邮差，邮递员
- futurologistn. 未来学家