缺陷需求分析与管理模型

需求管理是软件过程改进的重要活动,需求缺陷管理是需求管理的重要组成部分,其目的在于检测、分析、解决和预防需求缺陷.从社会因素和技术因素两大方面分析了需求工程阶段缺陷产生的原因,对缺陷进行了分类.建立了需求(模型)缺陷列表、缺陷需求分析模型和基于需求缺陷管理的需求过程模型.指出需求缺陷列表所反映的需求分析过程的数量特征,能够为评估需求工程师能力、准确和全面地定义需求成熟度、研究需求演化波及效应、研究需求模型复杂度和需求缺陷分布规律提供必要数据和有益启示.     

基于门户的虚拟协同工作平台研究

通常在门户实现中把协同工作视为一个独立系统进行接入,这不利于提高工作效率.文章提出一种在门户平台上使用相关Portlet和业务资源来构建虚拟协同工作平台的方法和体系结构,进一步讨论了实施中的若干关键问题.最后以江西省电力公司企业门户为研究实例给出相应的研究结果.     

RUP估算过程模型

软件行业估算追踪记录显示软件项目的失败率仍很高,估算问题是基本的原因之一.估算方法的创新没有出现期望的突破,而通过可控的过程,可以获得期望的结果.提出了一个过程模型,用于指导软件项目展开一系列估算相关的活动.该过程模型包括两部分,一是RUP估算过程,其详细描述了RUP开发模型里每个开发管理阶段应如何进行估算;二是用贝叶斯网络对RUP估算过程模型建立图形化推理模型,它能有效地用于估算分析、交流、权衡以及风险预测等.RUP估算过程解决了估算活动的定义问题,但不便于形成清晰的估算视图.软件估算的特点很适合用贝叶斯网络进行建模.贝叶斯工作量估算模型是RUP估算过程模型的抽象;ESFQ模型详细建模了软件项目关键因素之间的权衡关系.案例分析证明了该过程模型的适用性.     

UML类结构的形式化

为面向对象建模概念建立坚实的语义基础,越来越受到人们的重视。通过提供精确的概念特征定义,可建立精确的面向对象的行为模型和结构模型,便于对模型进行严格的分析。ＵＭＬ是一种被推荐的面向对象建模语言,ＲＡＩＳＥ是欧洲流行的一种形式方法,该文使用ＲＡＩＳＥ来表达ＵＭＬ类结构的含义。     

数据仓库和数据挖掘技术在ERP中的应用

数据仓库和数据挖掘是近几年迅速发展起来的技术,主要用于构建企业的决策支持系统。文章根据数据仓库和数据挖掘技术的这个特点,并针对传统ERP系统在决策方面的不足,提出把数据仓库和数据挖掘应用到ERP中去,以数据仓库作为企业底层的数据源,再配合以各种数据挖掘技术,以提高ERP中的决策支持功能。     

类型系统λω×≤的PER模型

类型系统是近年来理论计算机科学的研究热点之一 .1999年周晓聪曾在文献 [1]中提出并研究了类型系统λω× ≤ 及其性质 .类型系统λω× ≤ 是λω×的扩充 ,引入了子类型关系和受限的全称类型 .与 System F的各种扩充相比 ,它区分各种上下文 ,使得规则和性质的研究更为清晰 .研究该类型系统的 PER模型作为其语义解释 ,并说明该模型的合理性     

试题质量评估系统的设计与实现

试题质量的好坏对评估考生的实际能力非常重要,而考生绩分布概率曲线是测定试题质量的最主要标准之一。该文对不同类型的考生成绩分布曲线特点进行了分析,并设计了一个辅助教师对试题质量进行评估的决策支持系统,实验表明,该系统与主观的评判符合较好。     

动态优先系统及其Petri网语义

优先关系是并发系统控制的重要手段。文中提出一种动态优先系统（∑,D）,其中∑是有界Petri网,D是描述变迁之间优先关系的动态结构。然后采用变换技术分别给出安全的和有界的动态优先系统的Petri网语义：通过引入广义补位置和优先变迁,并对非安全系统的某些变迁进行分解,根据（∑,D）构造相应的Petri网∑D。最后利用步序列证明了∑D在不破坏动态优先结构D的规格说明约束的前提下,尽可能地保持了∑的并发语义。     

基于模式和数据并发更新的视图维护机制

在数据仓库的实化视图维护处理中，如何有效地处理并发更新是一个重要而又棘手的问题．文中阐述了P2P环境下模式与数据全面并发的典型情形，分析了因并发更新而导致视图维护异常的原因，针对这些不同的方面提出相应的纠正策略．给出了一种基于时态演算的并发更新侦测方法，以及混合更新下对关联更新进行检测的有效算法，最后提出了解决乱序提交问题的增强代理机制，确保了数据仓库与数据源的一致性．     

对象在类型系统λω×≤中的表示

类型系统是研究面向对象技术形式理论基础的重要工具 类型系统λω×≤ 是一个带高阶子类型关系的多态类型系统 ,对其性质和范畴论语义模型进行了研究 在此基础上 ,讨论了如何以类型系统λω× ≤ 为工具 ,研究对象、类、继承等面向对象技术的基本概念的形式语义 结合类POINT和CPOINT等例子 ,讨论了基于递归类型和基于存在类型的两种对象表示方法 ,并对它们的特点进行了总结与比较