The outputs of design and development shall be in a form suitable for verification against the design and development inputs and shall be approved prior to release.

设计和开发的输出应当符合设计和开发的输入要求，并在最后放行前得到批准。

youdao

The outputs of design and development shall be provided in a form that enables verification against the design and development input and shall be approved prior to release.

设计和开发流程的输出应提供以能对应设计和开发输入查证的型式，且发行前应予以核准。

youdao

PAR Method is a formalization method of algorithm design, development and verification, and it is simple and useful.

薛教授提出的PAR方法是一种简单实用的形式化算法设计、开发和证明的方法。

youdao