论文部分内容阅读
大程序开发的困难是众所周知的。为了克服软件危机,人们设计新的编程语言,使用合适的开发支持环境和工具,使软件开发工程化,以及试图程序编制自动化等等。基于形式化技术(如公理化方法或形式逻辑方法)的自动程序设计(或程序自动生成)还远未达到实用水平。近年来,(知识库)专家系统的概念和技术得到广泛的研究和应用。基干知识(库)的程序设计包括编程专家系统辅助程序设计和基于知识的程序自动生成两个方面。本文初步介绍有关的思想。