论文部分内容阅读
一、引言自动程序设计的研究由来已久,它的发展可以追溯到本世纪五十年代.当前所进行的自动程序设计活动主要是把人工智能技术应用到软件工程,其最终目标是要实现软件生产
基于知识的自动程序设计系统XAPS
【摘 要】
：
一、引言自动程序设计的研究由来已久,它的发展可以追溯到本世纪五十年代.当前所进行的自动程序设计活动主要是把人工智能技术应用到软件工程,其最终目标是要实现软件生产
【机 构】
：
西北大学计算机科学系
【出 处】
：
计算机科学
【发表日期】
：
1992年1期
其他文献
在使用面向对象方法的模型管理中，模型应解释为能根据对“消息“的接收及回答来执行各种模型管理功能的对象的集合。本文讨论了使用结构模型框架对构成模型的对象类进行划分的
所谓的逻辑式程序设计它涉及两个逻辑层次：外部逻辑和内部逻辑，前者描述对象之间的逻辑关系，而后者涉及目标求解遵循的逻辑法则。如PROLOG，它的外部逻辑是古典逻辑，而其计算遵循的
<正> 一、引言七十年代处于实验阶段的关系数据库系统在八十年代几乎占据了整个数据库市场,关系数据库 SQL 语言已成为数据库的通用语言。但是,随着计算机应用领域的扩展,关
<正> 一、引言Smithers 在中提出了研究智能计算机辅助设计(ICAD)系统的三个途径:1)建立没计过程模型。2)设计知识的表达及推理方法。3)建立 ICAD 集成系统的体系结构。本文
<正> 一、基本概念在研究计算机软件的法律保护时,程序的“相似”问题占有相当的分量。许多诉讼案正是因为程序间出现实质相似性(Substanti-al similarity)而引起的。在一般
本文针对软件重用活动中的若干管理问题,从项目组织形式、控制手段和管理对策等方面作了一些探讨,提出了一个面向重用的组织结构,描述了考核和控制重用活动的若干方法,讨论了
<正> 顺序推理中遵循先左后右——子句在前者先选择(即由上到下)的原则,而人们发现 Horn 子句逻辑具有下列基本的并行性:1)AND 并行性,即并行计算规则,指一个目标中的各个子
<正> 在知识库系统中,良好的知识组织结构既能有效地改善系统的运行效率,又能方便知识库的管理、维护、共享和理解。知识组织研究是知识库系统(KBS)的重要课题之一,随着 KBS
1989年,原西德能源物理数学专业情报中心与中国科技情报所重庆分所合作建立了“德国计算机科学数据库”。该数据库已进入 STN 国际网络。至1992年,已录入数据库的中国论文(计
本文将逐步求精的思想融合于面向对象的方法，形成了逐步求精的面向对象的方法学SROOM，提出了对象的三级抽象；给出了三级对象范围统一的表达及其生成算法。