摘要：构造性类型理论可作为研究程序自动化的理论基础．本文根据一种支持面向对象计算的类型理论，探讨了面向对象程序自动化的途径．面向对象程序的程序单位是类，它是数据和一组相关操作的统一体，程序开发的关键在于开发这些操作。

摘要：本文提出一种直观的函数分割型程序设计系统ＶＦＤＰ。该系统向用户提供一种直观化的规范描述语言，即使对于非职业软件人员的一般用户也能容易地用它来完成软件的需求规范描述。然后系统根据此规范描述自动生成程序。文中介绍了直观规范描述语言的定义、特点。

摘要：本文提出了基于构造性类型理论的一种面向对象类型理论中的继承机制，认为类是类规约类型的元素，而且类也是一种类型，继承是类规约和程序开发过程的重用机制．本文提出的理论可用于面向对象程序自动化的研究．

摘要：当今信息时代，要求智能大厦具有程序自动化、通讯自动化、办公自动化等功能。笔者从设计、施工角度探讨了智能大厦的综合布线问题。

摘要：本文介绍了动画艺术在工业时代的典型流程,以及此流程中各环节间如何通过自动化提高生产效率。

摘要：代码自动生成作为一种程序自动化技术,可有效解决现代大规模软件开发过程中遇到的重复编写代码问题,提高了软件开发的效率和质量。文中介绍了一种基于XML的代码生成技术,并以XML转换技术为基础,给出了XML的代码生成工具的结构设计,及其实现框架和关键步骤。以该工具在雷达建模仿真过程中的应用实例,验证了基于XML的代码生成工具可减少重复代码编写,降低因手工编写带来的编码错误,从而提高了代码的编写质量及效率,使大规模软件开发和维护更简便。

摘要：算法的程序自动化是计算机科学领域中比较热门的问题之一。由于算法的复杂性和抽象性,在算法的实际学习中,许多初学者难以理解和掌握。为了能够更好的学习算法,人们正在追求算法的程序自动化。讨论类C算法向C++源程序变换的相关概念和方法,同时提出一种可以实现类C算法向C++源程序自动转换的编译器。

摘要：霍尼韦尔日前宣布Experion PKS R300获得〈控制工程》杂志“编辑选择奖”。Experion R300是对霍尼韦尔经过验证的自动化和控制平台的重新设计。为了提高系统的正常运作和操作员的效率，R300还包括一个集成解决方案，使复杂的程序自动化。