规约造句

1、对目标模型应用通讯是一种声明性规约，目标值就属此类。

2、这些贡献包括编程语言和数据类型的公理化，形式验证，形式规约与分析。

3、详细介绍了实际中经常用到的一些差错控制方法，提出了一种基于CDT远动规约的CRC计算原理及实现方法，并给出了CRC检错码在8051单片机中软件实现的源代码。