Object invariant is important in the object-oriented program proof.
对象不变式在面向对象程序的证明中具有重要作用。
The database structure is selected by using object-oriented program idea in RPM laser high-speed product software.
在RPM激光快速成型软件中，利用面向对象的编程思想，构造了相应的数据结构。
The language C is program design language, which supports process-oriented program design and structural program design.
C语言是一种支持面向过程程序设计方法和结构化程序设计方法的程序设计语言。
A method is proposed for automated unit test of object-oriented program, which USES the specification of extended state diagram as the input.
提出了一种使用经过扩充的状态图规格描述作为输入的自动化单元测试方法。
Program slicing is a technology of analyzing and understanding program. The technology of process-oriented program slicing is becoming more mature.
程序切片技术是一种分析和理解程序的技术，其中面向过程程序切片技术已趋于成熟。
This paper adopted the visual and object-oriented program method, and presented the topology and fault calculation results on the interface for users to observe and verify.
本文采用可视化的面向对象编程方法，通过界面显示拓扑分析、短路计算等结果，供用户查看及核对。
By employing automatic memory management algorithm in object oriented program with large data structure, the developing quality and efficiency of this kind of software are improved.
通过在具有大型数据结构的面向对象程序中引入自动内存管理算法，可以提高这类程序的开发质量与效率。
This paper aims at introducing object-oriented program language using SAS/AF with the concepts of OOA and OOD. And it also discusses how to achieve these concepts in SAS/AF language.
本文结合面向对象分析（OOA）与面向对象设计（OOD）介绍了面向对象的SAS/AF程序语言及探讨了面向对象的理念在SAS/AF中的实现。
This paper presents the object-oriented program architecture for optimal design of tensegrity cable domes, which can be adopted in pre-press optimization, section optimization, and shape optimization.
该优化设计程序可以对张拉整体索穹顶结构进行预应力优化、截面优化和形状优化设计。
In this paper, a math model of this radar is designed out by referring to the radars working principle and analyzing its function and is realized based on Object Oriented Program technology.
本文通过分析雷达功能，参照其工作原理，设计出了该雷达的数学模型，并运用面向对象技术对其进行了实现。
In this paper, a math model of this radar is designed out by referring to the radars working principle and analyzing its function and is realized based on Object Oriented Program technology.
本文通过分析雷达功能，参照其工作原理，设计出了该雷达的数学模型，并运用面向对象技术对其进行了实现。
应用推荐