This paper discusses how to use the method of algebraicspecification in specifying software systems.
本文讨论如何应用代数规范说明方法来说明软件系统。
2
The implementation of algebraicspecification is a key for algebraicspecification to support rapid prototype technology.
代数规范说明的实现是代数规范说明支持快速原型枝术的关键。
3
Then the mathematical description of operation relativity is given systematically from algebraicspecification, Gantt chart expression and type conversion.