论文部分内容阅读
<正>一、引言提高软件生产率,保证软件质量一直是软件界追求的目标,在过去的几十年里,人们不断地探索新技术、新方法和新工具,为实现此目标作出了巨大努力,我们只要对这些探索的历程做一简单的回顾,就不难发现当前人们开始对软件过程进行研究是软件发展的必然.
软件过程技术研究
【摘 要】
：
<正>一、引言提高软件生产率,保证软件质量一直是软件界追求的目标,在过去的几十年里,人们不断地探索新技术、新方法和新工具,为实现此目标作出了巨大努力,我们只要对这些探
【机 构】
：
北京大学计算机科学与技术系
【出 处】
：
计算机科学
【发表日期】
：
1997年3期
【基金项目】
：
“九五”科技攻关项目
其他文献
<正>1.引言形式规格说明语言一般是提供一套称为语法域的记号系统和一个称为语义域的对象集合,以及一组精确地定义哪些对象满足哪个规格说明的规则。规格说明是语法域中的句
<正>近年来,有关Agent的各项研究在国外得到迅速发展[1],它强调了Agnet的行为特征和交互动,对于Agent之间的对话机制提出了更高的要求,其最终日标是利用自然语言进行交互.自
<正>数据仓库和联机分析处理是决策支持系统的重要组成部分,与传统的联机事务处理不同,是对现有数据进行归纳、分析和推理,从而为决策提供支持。数据仓库是“面向主题的、集
<正>Web从1991年诞生以来,入们把很大精力投入到漂亮的主页设计上,过分注重了W。b站点的外在特性,而忽视了Web站点的内在结构。随着Web站
智能多媒体表现系统是一个通过基于知识技术处理多媒体信息来生成智能化表现的新兴研究领域。本文对智能多媒体表现系统的定义、任务、计算模型以及研究现状做了深入论述；分析
<正>1引言信息技术的迅猛发展,使企业管理技术日臻完善。近年来,为了满足动态多变的市场竞争的需要,又提出了具有智能及优化功能的智能资源计划(In-tell;gent Resoure。I,lan
<正> 1.引言现代印染业发展非常迅速,人们对印染品的质量和效果的要求也在不断提高。当前彩色印染方式为专色印染。专色印染是在一块白色的布匹上每次印染一种特定的颜色,经
<正>归纳定理证明是一种难度较大且较有前途的一种自动定理证明方法。较早的归纳定理证明器是Boyer一Moore于1979年提出的BM证明器,BM证明器采用的是传统的结构归纳法,对所证
<正>1引言 任务调度是并行分布计算中最具有挑战性的问题之一,其1般形式和几种受限形式是NP完全问题~[1][2]。要取得多项式时间复杂度的最优调度算法,就必须对表示并行程
<正>涂象初等建立了一种集合搜索技术,其效率比传统的逐点搜索有所提高,是解决搜索问题的一种新途径。在许多应用中,集合搜索实质上是一个具有布尔代数元的IF－THEN结构序列,即