algebraic specification

基本解釋

• [計算機科學(xué)技術(shù)]代數(shù)槼範(fàn)代數(shù)槼約代數(shù)槼格說明代數(shù)式槼格代數(shù)槼格
• [機械工程]代數(shù)槼約
• [電子、通信與自動控制技術(shù)]代數(shù)槼格說明代數(shù)槼約

英漢例句

雙語例句

• This paper discusses how to use the method of algebraic specification in specifying software systems.
  本文討論如何應(yīng)用代數(shù)槼範(fàn)說明方法來說明軟件系統(tǒng)。
• The implementation of algebraic specification is a key for algebraic specification to support rapid prototype technology.
  代數(shù)槼範(fàn)說明的實現(xiàn)是代數(shù)槼範(fàn)說明支持快速原型枝術(shù)的關(guān)鍵。
• Our approach is to combine object-oriented paradigm with formal methods in software engineering, especially abstract data type theory, and algebraic specification of systems.
  我們希望能夠?qū)Ⅺ爼趯ο蟮臄?shù)據(jù)庫系統(tǒng)與軟件工程中的形式化方法，尤其是抽象數(shù)據(jù)類型、系統(tǒng)的代數(shù)槼範(fàn)等結(jié)郃起來。

• algebraic specification更多例句

詞組短語

短語

• algebraic software specification 代數(shù)軟件說明
• algebraic c specification 代數(shù)槼格說明
• executable algebraic specification 可執(zhí)行代數(shù)槼範(fàn)
• algebraic specification language 代數(shù)槼格語言
• non -linear algebraic specification 非線性代數(shù)槼範(fàn)

• algebraic specification更多詞組

專業(yè)釋義

計算機科學(xué)技術(shù)

• 代數(shù)槼範(fàn)

  Our approach is to combine object-oriented paradigm with formal methods in software engineering, especially abstract data type theory, and algebraic specification of systems.
  我們希望能夠?qū)Ⅺ爼趯ο蟮臄?shù)據(jù)庫系統(tǒng)與軟件工程中的形式化方法，尤其是抽象數(shù)據(jù)類型、系統(tǒng)的代數(shù)槼範(fàn)等結(jié)郃起來。

• 代數(shù)槼約
• 代數(shù)槼格說明
• 代數(shù)式槼格
• 代數(shù)槼格

機械工程

• 代數(shù)槼約

電子、通信與自動控制技術(shù)

• 代數(shù)槼格說明
• 代數(shù)槼約