管理信息系统开发中的形式化需求分析方法研究

需求分析是管理信息系统（MIS）开发中的关键性工作，其质量优劣直接决定MIS的开发成败。以模糊数学为基础，运用神经网络的方法和原理，在深入研究的基础上，提出了一种针对企业信息系统开发中需求分析的形式化方法，它可以大大提高系统需求分析的效率和质量。这一方法已得到初步使用，取得了满意的结果。     

演化构件在形式化需求分析方法中的研究与应用

软件开发实践表明:用户需求是软件系统成功的关键,软件系统的成功极大地依赖软件需求工程的质量.在开发活动过程中,随着用户对目标系统认识的逐渐深入以及基础设施、配置环境等因素的变化,用户需求也在不断发生变化.对需求变化的控制历来都是软件开发者追求的目标.在详细介绍形式化需求分析方法、演化构件及构件贡献度的相关理论基础上,提出了基于演化构件的形式化需求分析建模方法,深入分析了建模过程及建模工具RE-Tracker,并用集中控水系统的需求分析具体实例分析了需求级构件变更的影响范围和波及效应.     

面向软件需求分析的形式化语言

针对软件需求分析阶段的内容，研究设计了该阶段的需求描述语言ＲＡＳＬ（ＲｅｑｕｉｒｅｍｅｎｔＡｎａｌｙｓｉｓＳｔａｔｅｍｅｎｔＬａｎｇｕａｇｅ），它可描述需求分析阶段的类型定义，加工及输入／输出之间的关系，使用这种语言来表达或书写敕件需求分析阶段的调查，可以使软件开发人员与用户对所描述的需求问题，更加易于理解与交流。     

需求分析的 Z 语言形式化方法

非形式化的需求规格说明容易产生歧义,导致所开发的软件系统不能满足用户的功能要求.Z语言是一种基于集合和一阶谓词逻辑的模式规约语言,可用于产生精确的需求规格说明.介绍了需求分析的Z语言形式化方法,并给出了一个通用堆栈的Z语言描述实例,同时指出这种形式化方法有待进一步研究的地方.     

基于刻面分类的ERP构件检索

如何从ERP构件库中准确快速找到需要的构件,是每个ERP构件库系统需要解决的一个主要问题。本文从ERP构件的刻面分类模式出发,针对ERP构件检索的特点,结合树匹配模型思想,提出了ERP构件树路径匹配算法,该算法可以在保持构件查询速度的前提下,有效提高ERP构件的查全率和查准率,实验结果证明了该算法的可行与有效性。     

基于排序形式化规格说明的软构件匹配

基于排序形式化规格说明的软构件匹配是检索可重用构件的有效方法,在软件复用和库检索中,有助于确定一个构件是否可以取代另一个构件或一个构件如何通过修改以满足另一个构件的要求.利用基于排序形式化规格说明来描述软构件的行为,并在构件和方法层次上给出多种不同类型的基于排序形式化规格说明软构件匹配的定义,及其在构件检索中的应用.     

基于构件的软件复用技术研究

软件复用是软件工程学科的一个研究热点,也是解决软件危机的有效途径之一。基于构件的软件复用技术变得越来越重要,网络环境下的软件复用可以通过面向Agent方法实现,由Agent自主搜索、匹配所需要的构件。     

基于软件构件的MIS开发研究

在软件构件的基础上，详细介绍了基于构件技术的MIS开发过程和开发原则．     

基于构件的软件复用技术

软件复用是提高软件开发效率和质量的有效途径,构件技术是支持软件复用的核心技术,是近几年来迅速发展并受到高度重视的一个学科分之。本文分析软件构件技术及其几个不同层次的软件复用技术构件模型,探讨了实现复用的机制。并对三者的关系和区别进行分析与比较。     

面向对象软件工程中软件需求分析

本文对面向对象的软件工程中软件需求分析的任务、过程、原则和方法进行了详细的阐述,并通过简单事例说明了软件需求分析在软件工程中的重要性.     

软件需求分析探讨

阐述了软件需求分析的任务,探讨了需求分析的基本操作和技术,指出需求分析是软件开发中不可或缺的一个关键环节。     

一种基于特征的构件搜索方式

提出一种基于构件特征查找用户构件的方法,给出描述构件的11个关键特征,介绍了构件的“一致性”、“包含差异”、“包含距离”及“包含率”四个度量的定义,并给出实例进行说明,最后介绍了如何根据四个度量计算结果获得最拉近用户查询的构件的方法－－全局优化和主优化。     

软件系统需求变更影响分析及解决方案

分析了需求变更对软件开发项目的影响，对处理需求变更应注意的问题进行了讨论，并提出了一个解决需求变更的方案、该方案采用状态控制表和版本控制软件相结合的方式对需求变更进行跟踪处理。同时还提出了一个更完善的需求变更解决方案的框架，并对如何实现框架方案进行了讨论。     

ERP软件供应商的主成分投影评价方法

实施ERP(企业资源计划)是提升企业自身管理水平的重要手段。然而．实施ERP风险很大。为此，根据主成分投影的原理，建立了针对ERP软件供应商的多指标的评价模型，旨在为企业提供正确选择ERP软件供应商的理论依据。     

信息系统需求变更统计分析度量方法

为了减少信息系统需求变更对系统开发的影响,必须采用合适的需求工程方法和合适的度量方法及技术来分析需求变更的原因和趋势,从而更好地管理和控制需求变更.本文提出了以统计分析方法对信息系统需求变更趋势、需求变更主要原因、需求变更分布进行度量分析的信息系统需求度量方法.     

基于软件总线及多Agent的ERP架构的研究与设计

近些年来，随着ERP系统软件的广泛普及和深度应用，如何实现在异构环境下对不同软件生成的数据和提供的服务进行有效存取和集成的问题已变得日益突出．在通过对软件总线及多Agent技术研究的情况下，介绍了一种基于软件总线与多Agent的ERP系统架构的设计方案，为解决这种问题提供了一种可行的方法．     

基于构件的软件开发技术和方法

软件构件技术是实现软件复用的关键问题,是当前软件界研究的热点。文章通过对构件及构件技术的阐述,探讨了基于构件的软件开发技术、方法以及构件设计评价标准。     

基于GMP认证要求的制药企业ERP建设

随着我国加入WTO以及制药企业GMP认证的全面实施，建设基于GMP认证要求的制药企业ERP系统对企业的发展非常必要。该文对GMP认证的意义，ERP建设对GMP认证的作用以及根据GMP认证的特点，如何实现符合GMP认证要求的制药企业ERP建设方案的实施特点和构想作了较全面的论述。