利用形式化规格说明语言——B语言对软件需求进行了严格定义，在严格的数学基础上进行软件开发，以获得更好的软件性能。

The paper models software requirement in the form of formalized specification language b, develops software based on a precise mathematical framework in order to achieve better software performance.

youdao

本规格书说细说明了KT -型ntc温度传感器的有关性能、结构尺寸和主要试验条件。

This specification defines characteristics, dimension and main condition of the NTC temperature sensor KT -.

youdao

产品说明：这台机器机构紧凑，性能良好，操作简单，生产效率高；可以使用不同形状和规格的糖果模型，冲压成各种美观的糖果。

Characteristic: This machine is compact, good performance, easy operation , high production efficiency. Can use different shape and size candy moulds, die forming all kinds of candies.

youdao