缺陷需求分析与管理模型

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

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

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

UML类结构的形式化

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

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

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

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

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

SUN的SPARC处理器体系结构及TurboSPARC微处理器

本文介绍了Sun Microsystems公司的SPARC处理器体系结构以及TurboSPARC微处理器,详细叙述了其技术特征及优化性能。     

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

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

一种扩展了价格信息的时间Petri网

性能和成本分析是业务流程建模的主要目的,扩展了时间信息的Petri网能够有效地进行性能分析,但是对成本分析却无能为力.提出一种扩展了价格信息的时间Petri网--价格时间Petri网.首先为时间变迁扩展价格参数,并使用价格时间变迁系统给出价格时间Petri网的语义;然后提出计价状态类的概念,并证明为状态类扩展累积成本的合理性和完备性;进而给出一种算法来证明有界价格时间Petri网的最小成本可达问题是可判定的;最后给出一个应用例子并得出结论:为时间Petri网扩展价格信息并将其应用于业务流程管理领域是可行的.     

一种实用的对象持久化框架

面向方面编程分离了核心关注点和横切关注点,提供了模块化横切关注点的机制,很好地解决了面向对象技术处理横切关注点时存在的代码散布和代码纠缠问题.和日记记录、安全验证等业务一样,持久化也被认为是经典的横切关注点业务,适合用AOP来实现.分析了现有的基于AOP的持久化实现,发现大部分实现过于追求AOP要求的obliviousness特性,而在功能或性能上难以满足现实应用的需求.探讨了持久化的特点及持久方面化的机制,提出了一套实用的基于AOP的持久化框架.该框架保持了面向对象持久化技术的功能及性能,同时又具有方面化持久业务所带来的更高的可重用性、可维护性及可移植性.     

一种价格时间Petri网的状态空间计算

价格时间Petri网是对web服务过程和工作流模型等进行时间和成本分析的一种新工具.而价格时间自动机则是一种相对成熟的工具.提出一种状态空间计算方法,可以将价格时间Petri网的状态空间构造为一个价格时间自动机.该方法的核心思想是在扩展状态类中增加价格参数.进一步证明了构造出的价格时间自动机和初始的价格时间Petri网是双相似的.