论文部分内容阅读
<正> 1 引言众所周知,软件工程首先涉及坎件开发风范,风范勾画了各项软件活动的“样式”。然后是每种活动的方法,方法提供了“如何做”的技术,通常还涉及表示法(语言的、图形的)和该项活动的质量准则。有了方法则研制实现各软件活动的工具,它为方法提供
软件工程开发风范
【摘 要】
：
<正> 1 引言众所周知,软件工程首先涉及坎件开发风范,风范勾画了各项软件活动的“样式”。然后是每种活动的方法,方法提供了“如何做”的技术,通常还涉及表示法(语言的、图形
【机 构】
：
北京航空航天大学计算机系北京100083
【出 处】
：
计算机科学
【发表日期】
：
1993年6期
其他文献
<正> 计算机网络,就是用通信线路和软件协议把多台计算机连接起来,快速准确地进行数字数据交换的一种系统。分布式计算系统,则是联合起来解决大型的单个问题,或者同时去执行
本文提出的一种面向对象系统开发方法－ＺＯＯＭ方法，以软件系统所作用的现实世界为系统主题，首先构造系统模型，然后在其上建立系统功能，文中介绍了该方法的思想，开发步骤及支持环境的设计。
<正>一、引言 人工智能(AI)中自然语言处理(理解)的研究在八十年代进入了并行处理阶段,国外已有众多研究成果[1]。进入九十年代,其研究水平已相当高,其中比较成功和有名的
关于行动的推理是研究行动及其所带来的变化的规律的一个人工智能分支。近年来,关于行动的推理技术一直伴随着非单调推理等一系列相关领域的开展而发展,出现了一系列新的理论
<正> 1.引言模态逻辑自动推理的归结方法始于Farinas-del-Cerro的工作,近几年,又得到了进一步的研究和发展。一阶模态逻辑是在命题模态逻辑系统上增加了全称量词和存在量词,
<正>1.引言当前的数据库系统按其体系结构可分为两大类:一是单一式体系结构,如FOXBASE、FOXpRO、CLIPPER、PARAI洲〕X等。这一类系统大多实现在PC机上,其特点是整个数据系统
本文分析了 J.F.Allen 的时序推理算法的局限性,给出了一种新的有效算法,并基于 ATMS系统的特点,建立了一个新的时序推理系统 TRS。
如何实现数据库互操作性，目前正在从两个方面进行努力：一是发展标准，即建立一个统一的数据库规范；二是承认数据库之间存在差异这一现实，构造可互操作数据库平台。本文将从构造可互
本文综述了可演绎系统目前的研究情况,认为以 DATALOG 为代表的演绎数据库系统进化为实用系统是困难的。文中简介了一个基于 PROLOG 的可实用的可演绎系统,还对进一步的研究
<正>递归变换是程序自动设计中的一个研究课题。文[3,4]分别提出了几种递归变换,其可用条件中都包括单位元.我们基于文[8]的思想,讨论了对文[3,4]中几种变换的改进。