一个基于AI产生式系统的软件开发新模型

A New Model for Software Development Based on AI Production System

在设计一个程序以前，应该完整地并且精确地说明要求解的问题．作为一个产品。软件相对于其形式规格说明来说应该是可靠和正确的．规格说明是程序变换方法的起点，程序变换方法保证了程序的正确性．本文给出了ＡＤＴＳＬ的简要描述，并提出了一个基于人工智能中的产生式系统的软件开发新模型．

Before a program is designed,the problem to be solved should be specified completely and precisely.As a product software should be reliable,correct with respect to formal specification.Specification is a starting point for the program transformation method which guarantees the program correctness.This paper giver a brief description of a specification language ADTSL,proposes a program transformation method ProTS based on the production system in artificial intelligence.