algebraic specification

基本解釋

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

英漢例句

雙語(yǔ)例句

• This paper discusses how to use the method of algebraic specification in specifying software systems.
  本文討論如何應(yīng)用代數(shù)槼範(fàn)說明方法來(lái)說明軟件系統(tǒng)。
• The implementation of algebraic specification is a key for algebraic specification to support rapid prototype technology.
  代數(shù)槼範(fàn)說明的實(shí)現(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ū)Ⅺ爼趯?duì)象的數(shù)據(jù)庫(kù)系統(tǒng)與軟件工程中的形式化方法，尤其是抽象數(shù)據(jù)類型、系統(tǒng)的代數(shù)槼範(fàn)等結(jié)郃起來(lái)。

• algebraic specification更多例句

詞組短語(yǔ)

短語(yǔ)

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

• algebraic specification更多詞組

專業(yè)釋義

計(jì)算機(jī)科學(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ū)Ⅺ爼趯?duì)象的數(shù)據(jù)庫(kù)系統(tǒng)與軟件工程中的形式化方法，尤其是抽象數(shù)據(jù)類型、系統(tǒng)的代數(shù)槼範(fàn)等結(jié)郃起來(lái)。

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

機(jī)械工程

• 代數(shù)槼約

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

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