algebraic specification

基本解釋

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

英漢例句

雙語(yǔ)例句

• This paper discusses how to use the method of algebraic specification in specifying software systems.
  本文討論如何應(yīng)用代數(shù)規(guī)范說(shuō)明方法來(lái)說(shuō)明軟件系統(tǒng)。
• The implementation of algebraic specification is a key for algebraic specification to support rapid prototype technology.
  代數(shù)規(guī)范說(shuō)明的實(shí)現(xiàn)是代數(shù)規(guī)范說(shuō)明支持快速原型枝術(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ū)⒚嫦驅(qū)ο蟮臄?shù)據(jù)庫(kù)系統(tǒng)與軟件工程中的形式化方法，尤其是抽象數(shù)據(jù)類型、系統(tǒng)的代數(shù)規(guī)范等結(jié)合起來(lái)。

• algebraic specification更多例句

詞組短語(yǔ)

短語(yǔ)

• algebraic software specification 代數(shù)軟件說(shuō)明
• algebraic c specification 代數(shù)規(guī)格說(shuō)明
• executable algebraic specification 可執(zhí)行代數(shù)規(guī)范
• algebraic specification language 代數(shù)規(guī)格語(yǔ)言
• non -linear algebraic specification 非線性代數(shù)規(guī)范

• algebraic specification更多詞組

專業(yè)釋義

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

• 代數(shù)規(guī)范

  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ū)⒚嫦驅(qū)ο蟮臄?shù)據(jù)庫(kù)系統(tǒng)與軟件工程中的形式化方法，尤其是抽象數(shù)據(jù)類型、系統(tǒng)的代數(shù)規(guī)范等結(jié)合起來(lái)。

• 代數(shù)規(guī)約
• 代數(shù)規(guī)格說(shuō)明
• 代數(shù)式規(guī)格
• 代數(shù)規(guī)格

機(jī)械工程

• 代數(shù)規(guī)約

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

• 代數(shù)規(guī)格說(shuō)明
• 代數(shù)規(guī)約