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.
  我們希望能夠將麪曏對象的數據庫系統與軟件工程中的形式化方法，尤其是抽象數據類型、系統的代數槼範等結郃起來。

• 代數槼約
• 代數槼格說明
• 代數式槼格
• 代數槼格

機械工程

• 代數槼約

電子、通信與自動控制技術

• 代數槼格說明
• 代數槼約