English translation for "形式化高层规范"

formal top-level specification

Related Translations:

形式化:  formaliseformalisierungformalizationformalize

形式化模型:  formalized model

使形式化:  formalize formalize

形式化算法:  formalized arithmetic

形式化阶段:  formalization stage

形式化测试:  formal testing

形式化方法:  formal methods

形式化规则:  formation rule

形式化索引:  fomalization index

形式化验证:  formal verification

Similar Words：

"形式化测试" English translation, "形式化的" English translation, "形式化的面向对象开发方法" English translation, "形式化的能力问题" English translation, "形式化方法" English translation, "形式化规则" English translation, "形式化计算机" English translation, "形式化计算机程序" English translation, "形式化阶段" English translation, "形式化控制" English translation