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.
代数规范说明的实现是代数规范说明支持快速原型枝术的关键。
Then the mathematical description of operation relativity is given systematically from algebraic specification, Gantt chart expression and type conversion.
进一步提出在经典的车间作业计划析取图模型中，通过加入相关弧以表示工序的相关性。
The paper describes the methods of the class-level testing for object-oriented software based on algebraic specification, and constructs a frame for semi-automatic testing frame.
本文研究了基于代数规格说明的面向对象类测试方法，构造了一个半自动化的测试框架。
The paper describes the methods of the class-level testing for object-oriented software based on algebraic specification, and constructs a frame for semi-automatic testing frame.
本文研究了基于代数规格说明的面向对象类测试方法，构造了一个半自动化的测试框架。
应用推荐