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 specification更多例句

词组短语

短语

• algebraic software specification 代数软件说明
• algebraic c specification 代数规格说明
• executable algebraic specification 可执行代数规范
• algebraic specification language 代数规格语言
• non -linear algebraic specification 非线性代数规范

• 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.
  我们希望能够将面向对象的数据库系统与软件工程中的形式化方法，尤其是抽象数据类型、系统的代数规范等结合起来。

• 代数规约
• 代数规格说明
• 代数式规格
• 代数规格

机械工程

• 代数规约

电子、通信与自动控制技术

• 代数规格说明
• 代数规约