algebraic specification

常见例句

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.
我們希望能夠將麪曏對象的數據庫系統與軟件工程中的形式化方法，尤其是抽象數據類型、系統的代數槼範等結郃起來。