因为这些计算非常复杂，而且哪怕是公式和参数中的轻微缺陷都会造成巨大影响，因此使用正式定义的计算机程序是非常必要的。

The complexity of these calculations and their susceptibility to even minor flaws in either formula or parameters makes having a formally defined program very important.

youdao

有关参数化谓词xml语法的正式规范，请参阅XML模式。

For a formal specification of the parameterized verb XML syntax, see the XML schema.

youdao

人们并不了解评审参数中 "正式-外部"的含义。

People do not know what "Formal-External" means in reference to a review.

youdao