- 1. Formal Methods: 形式化方法
形式化方法(Formal Methods)是基于离散数学和形式逻辑的一种方法,它采用形式语义符号和工具表述所要设计的计算机系统,并根据系统规范对系统的性质和正确性进...
dict.youdao.com - 2. Formal Methods: 形式方法
_VDMZ_.DOC 关键字： VDM， Z，形式方法，规范描述语言 [gap=8477]KEYWORDS: VDM, Z, Formal Methods, Specification Languages
dict.youdao.com - 3. formal methods model: 形式方法模型
dict.youdao.com - 4. formal methods model: 形式化方法模型
dict.youdao.com - 5. Theory and formal methods: 理论与形式化方法
dict.youdao.com - 6. Formal Methods and Verification: 形式化方法与验证
dict.youdao.com - 7. Formal Methods and Tools: 正式的方法和工具
dict.youdao.com - 8. Formal Methods and Tools: 形式化方法和工具
dict.youdao.com - 9. Integrated Formal Methods: 集成形式化方法
dict.youdao.com - 10. Formal Methods in System Design: 系统设计的形式方法
dict.youdao.com
有道词典