| 一个基于AI产生式系统的软件开发新模型 |
| |
| 引用本文： | 缪淮扣,朱关铭.一个基于AI产生式系统的软件开发新模型[J].上海大学学报(自然科学版),1996,2(5):561-569. |
| |
| 作者姓名： | 缪淮扣 朱关铭 |
| |
| 摘 要： | 在设计一个程序以前，应该完整地并且精确地说明要求解的问题．作为一个产品。软件相对于其形式规格说明来说应该是可靠和正确的．规格说明是程序变换方法的起点，程序变换方法保证了程序的正确性．本文给出了ＡＤＴＳＬ的简要描述，并提出了一个基于人工智能中的产生式系统的软件开发新模型．
|
| 关 键 词： | 产生式系统 程序变换 ProTS 规格说明 |
A New Model for Software Development Based on AI Production System |
| |
| Miao Hualkou,Zhu Guanming,Tong Fu.A New Model for Software Development Based on AI Production System[J].Journal of Shanghai University(Natural Science),1996,2(5):561-569. |
| |
| Authors: | Miao Hualkou Zhu Guanming Tong Fu |
| |
| Institution: | School of Computer Engineering and Science |
| |
| Abstract: | |
| |
| Keywords: | production system program transformation ProTS specification |
| 本文献已被 CNKI 维普 等数据库收录！ |
