algebraic specification

常見例句

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é)郃起來。