algebraic specification的意思|示意
代数规格，代数规范
algebraic specification的用法详解
阐述一下英语单词algebraic specification的用法
Algebraic specification是一种形式语言，用于描述计算机系统，类似于数学中的代数方程。基本上，它是一个称作algebras的抽象模型，用于描述某种类型的系统构成，行为，动态或静态特征。它的表示形式可以是句子，条件，函数或者由程序提供的关系。它可以用来详细描述，分析和验证现存计算机系统。
algebraic specification的用法非常广泛，可以用于定义和描述系统的构成，行为和性质，以及用于验证系统的正确性和安全性。另外，它还可以用于定义和描述系统中提供和保持协作之间资源的使用。同时，它还可以用于编写控制算法，检查算法的正确性和可操作性，以及设计测试和模拟实验。
因此，可以看出，algebraic specification可以为系统的设计，开发，实施和验证提供很大的帮助。它有助于提高计算机系统的可用性，可靠性和安全性。因此，在计算机系统开发领域中，algebraic specification是非常重要的一部分。
algebraic specification相关短语
1、 algebraic specification language 代数规格语言
2、 executable algebraic specification 可执行代数规范
3、 non-linear algebraic specification 非线性代数规范
4、 algebraic c specification 代数规格说明
5、 algebraic software specification 代数软件说明
algebraic specification相关例句
Algebraic specification of ADT is an important source of black - box testing.
抽象数据类型的代数规格说明体系是一种重要的 黑盒 测试依据.
互联网
The thesis presents a new test case automated generation method based on algebraic specification of ADT.
本文以代数规格说明为基础,提出了一种新的黑盒测试用例生成方法.
互联网