它们为不同的自动化和半自动化的方法提供服务，这种方法源于代码和相关的模型。
They serve as blueprints from which various automated and semi-automated processes derive programs and related models.
对一般的0 - 1整数规划问题提出了一种半自动化的DNA计算模型。
To general 0-1 Integer Programming problem problem, we present a semi-roboticized DNA computing model.
本文研究了基于代数规格说明的面向对象类测试方法，构造了一个半自动化的测试框架。
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.
应用推荐