algebraic specification

常見例句

This paper discusses how to use the method of algebraic specification in specifying software systems.
本文討論如何應用代數(shù)規(guī)范說明方法來說明軟件系統(tǒng)。
The implementation of algebraic specification is a key for algebraic specification to support rapid prototype technology.
代數(shù)規(guī)范說明的實現(xiàn)是代數(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.
我們希望能夠將面向對象的數(shù)據(jù)庫系統(tǒng)與軟件工程中的形式化方法，尤其是抽象數(shù)據(jù)類型、系統(tǒng)的代數(shù)規(guī)范等結合起來。