algebraic specification

常見(jiàn)例句

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)。