采用形式化技术的软件再工程

形式化技术为软件再工程提供了完备的理论基础,该文对基于软件再工程的形式化方法进行了探讨,提出了一个统一的面向软件再工程的形式化方法。

管理信息系统中报表问题的解决方案

本文从现实需求出发,在报表系统的开发过程中采用构造思路,对管理信息系统中的报表问题提出了一种比较灵活的解决方案——构造式报表。并结合具体技术实践,对构造式报表从技术上给出了一种解决办法。

等价关系代数查询优化方法的研究

管理信息系统中,数据库应用系统的查询性能对系统的应用和推广具有重要的影响.本文通过一个实例,详细介绍了基于关系代数等价变换规则的关系代数查询优化原理及实现过程,最后就此方法的代价评估模型进行了讨论.

基于RWSL的软件再工程

为基于遗留系统特征的软件再工程提出了一种统一的方法。该方法基于一种名为广谱语言的构架。该语言具有很好的形式化RWSL语义。提出了该方法从源代码到规约的体系结构和工作流,并定义了的结构。

软件再工程助手

随着越来越多成功的软件系统成为遗留系统,软件再工程已日益显现其重要性。但对原系统理解的难度影响了软件工程师对原系统进行再工程的效率,特别是从源代码获取设计规约。在软件维护和软件再工程中大量的工作是围绕着源代码的变换,这种变换将程序代码文本或规约文本从一种形式转变成另一种形式,从而使其具有更好的可读性和可理解性。论文介绍了作者与英国DeMontfort大学的研究人员开发的一个非常方便的用于从程序抽取规约(也就是从源代码文本到规约文本的变换)的再工程助手(RA)工具,并使用RA进行一个实例研究。

Web服务技术在企业数据集成中的应用研究

随着企业内和企业间应用集成的需要,作为较低层次的企业数据集成越来越显得重要.本文针对企业数据集成的目标,结合Web服务体系结构本身的技术特性,提出了利用Web服务技术进行非侵入型数据集成的一般方法.最后,根据这个方法实现了综合教务系统和人事系统异构数据源之间的数据集成.

基于回归模型的城乡收入差距分析

本文通过回归模型分析影响城乡收入差距变动的因素，发现第三产业就业人口比重与城乡收入差距之间的关系最为密切，第三产业的健康发展对缩小城乡收入差距，促进和谐社会的构建有重大的影响。

一种改进的随机早期检测算法

针对随机早期检测(RED)算法稳定性差的问题,根据排队论知识,在分析了决定其性能要素的分布规律之后,得出结论:路由器缓冲区的队列长度是非线性分布的,路由器尾丢弃率随队列平均长度的增大而增大,但不是呈线性关系。给出了一种非线性改进算法,改善了算法的稳定性。

基于构件的通用查询/统计报表快速开发构造器的设计与实现

以构造为主要设计的思想,提出了快速开发信息系统的解决方案.并以查询/统计为例,扩充了关系模型,给出了查询/统计生成器构件的设计.结合具体开发,给出了系统的实现.