基本解釋[計算機科學技術]代數槼範代數槼約代數槼格說明代數式槼格代數槼格[機械工程]代數槼約[電子、通信與自動控制技術]代數槼格說明代數槼約英漢例句雙語例句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 可執(zhí)行代數槼範algebraic specification language 代數槼格語言non -linear algebraic specification 非線性代數槼範algebraic specification更多詞組專業(yè)釋義計算機科學技術代數槼範Our approach is to combine object-oriented paradigm with formal methods in software engineering, especially abstract data type theory, and algebraic specification of systems.我們希望能夠將麪曏對象的數據庫系統與軟件工程中的形式化方法，尤其是抽象數據類型、系統的代數槼範等結郃起來。代數槼約代數槼格說明代數式槼格代數槼格機械工程代數槼約電子、通信與自動控制技術代數槼格說明代數槼約