This paper discusses how to use the method of algebraic specification in specifying software systems.
本文讨论如何应用代数规范说明方法来说明软件系统。
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.
本文研究了基于代数规格说明的面向对象类测试方法，构造了一个半自动化的测试框架。
应用推荐