摘要:软件工程支撑环境的集成化问题是构造环境的中心环节,它涉及到概念、方法、技术和工具等方面,有其内在的逻辑含义和物理表征。本文介绍了一个在UNIX系统上构造的集成化的软件工程支撑环境。该环境以环境库和用户界面为其主要的集成机制,支持面向对象的程序设计方法。它提供了一个基本语言序列,可以支持不同层次的用户从事软件开发活动和项目管理活动。在实现上,采用分层虚机器的构造方法,从而保证了系统的坚固性、开放性和可剪裁性。

摘要:模型完备性是衡量数据模型描述能力的一种重要特性。本文引入了一个函数式数据模型FM和查询语言FQL,定义了一种新的模型蕴含和完备的概念,最后,根据关系模型的有关特性(如蕴含、完备等),讨论FM的完备性。

摘要:在由多个领域相关的ES组成的协作系统中,通常把能独立求解同一个领域难题A的所有ES组成一个协作组。有时组中诸ES对A都给出了相同的断言,但是它们却给出了不同的断言信度值。本文为处理这种不一致性问题,改进了文[1]中的向最高信度值看齐策略和相邻影响策略,提出了向最高权威看齐策略和相互影响策略,并给出了基于模糊 熵、范数和均差值的协作组统一信度值最大偏差的三种计算方法。这些计算方法都是以组中诸信度值不一致性程度的度量为基础的。

摘要:本文介绍一个自动编译系统ACS。对某上下文无关文法语言,写出其词法描述、语法描述、语义描述和目标机描述。ACS系统可以自动生成此语言在目标机上的编译程序。ACS系统由六个子模块组成:词法自动生成器、语法自动生成器、语义自动生成器、中间语言转换程序、优化程序和代码自动生成器。本文将分别讨论这六个子模块的原理和功能,还将给出用ACS系统生成的一个编译程序实例—Mini_Ada编译程序。

摘要:本文讨论Burstall与Darlington提出的folding/unfolding系统的程序转换能力,即讨论从一个给定的程序可以推导出什么样的程序。因此,这是正确性与完备性问题的推广。本文证明了可推导性的一个必要条件,并由此得到了该系统提高程序效率的一个界限。该系统的部分正确性和不完备性也均是该条件的推论。

摘要:本文介绍了一个图形用户接口管理系统——GUIDE-GKS系统中的用户接口描述方法,以及利用这些描述信息而进行的用户接口快速原型和自动生成技术。其中,基于用 户概念模型的思想,它提出了一种新的“引导式”描述技术,该技术使得接口设计者对系统的学习使用更为方便、简洁、有效,增强了接口描述过程的正确性保证,并易于导致好性能接口的开发。

摘要:通用交互式逻辑推理语言Tuili是能够进行不同方向并能选择不同搜索策略进行推理的人工智能语言,特别适合快速建造专家系统或基于知识的系统。它的实现将使这一新颖的推理语言的应用成为可能。本文给出作者已经实现的一个Tuili系统中用到的编译方法和主要的实现技术。