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.
我们希望能够将面向对象的数据库系统与软件工程中的形式化方法，尤其是抽象数据类型、系统的代数规范等结合起来。