algebraic specification
基本解释
- [计算机科学技术]代数规范代数规约代数规格说明代数式规格代数规格
- [机械工程]代数规约
- [电子、通信与自动控制技术]代数规格说明代数规约
英汉例句
- This paper discusses how to use the method of algebraic specification in specifying software systems.
本文讨论如何应用代数规范说明方法来说明软件系统。 - The implementation of algebraic specification is a key for algebraic specification to support rapid prototype technology.
代数规范说明的实现是代数规范说明支持快速原型枝术的关键。 - Our approach is to combine object-oriented paradigm with formal methods in software engineering, especially abstract data type theory, and algebraic specification of systems.
我们希望能够将面向对象的数据库系统与软件工程中的形式化方法，尤其是抽象数据类型、系统的代数规范等结合起来。
双语例句
词组短语
- algebraic software specification 代数软件说明
- algebraic c specification 代数规格说明
- executable algebraic specification 可执行代数规范
- algebraic specification language 代数规格语言
- non -linear algebraic specification 非线性代数规范
短语
专业释义
- 代数规范
Our approach is to combine object-oriented paradigm with formal methods in software engineering, especially abstract data type theory, and algebraic specification of systems.
我们希望能够将面向对象的数据库系统与软件工程中的形式化方法，尤其是抽象数据类型、系统的代数规范等结合起来。 - 代数规约
- 代数规格说明
- 代数式规格
- 代数规格
- 代数规约
- 代数规格说明
- 代数规约