支持软件演化的第2代SDDM软件过程模型

软件演化已成为软件生存周期中最重要的形态之一。该文对支持软件并行工程的SDDM过程模型在标准化、角色模型、资源模型、层次化4个方面进行了扩展,得到了一个支持标准化的可配置、可重用、支持软件演化过程的第2代SDDM软件过程模型。     

软件开发过程模型的发展

针对软件开发过程模型的发展问题进行研讨。通过分析几个典型的软件开发过程模型：瀑布模型、快速原型化模型、增量模型、螺旋模型、构件组装模型,分析每个模型的产生情况,研究软件开发过程模型整体的发展过程,寻找其中规律性的东西。讨论了促使软件开发过程模型发展的两个主要因素：一是需要新的软件开发过程模型来处理新情况和新问题;二是需要新的软件开发过程模型来提高开发的效率和质量。指出了软件开发过程模型可以按照三个方向去发展：一是通过对现有模型进行改进、扩充、综合去发展;二是遵循新的思维方式去发展;三是借助新技术和新工具去发展。     

PETRI 网在软件过程建模及过程实施中的应用

软件过程技术，作为一种保证软件开发质量和效率的方法，在许多软件企业引起了重视和应用。本文从条件／事件网出发，应用标记PETRI网，并针对其在软件过程中的特点，给出了软件过程和软件过程网合理性的定义，根据工作流领域的结论，可以应用经典PETRI网的工具验证其合理性。在此理论基础上，提出了传统的软件过程结构表示成软件过程网的规则。并研究其在实践中的应用，最后用一个实际软件开发企业中的应用实例详细解释了所提出的理论及应用。     

一种基于CMM的软件开发过程

CMM是软件过程评估和改进的一种成熟模型。它要求软件组织的软件过程标准化。但它没有给出达到这些目标的具体操作方法。因此,本文提出了一种基于CMM的组织级软件过程模型,并剖析了开发过程的一般特性。     

Integration issues elucidated in large-scale information systems development

This article explores some basic issues in system integration by examining the integration process with information systems. The article begins with a discussion of the domain of interest. Terms are defined, the software process is reviewed, and two system categories are established. It is shown that software is materially different from hardware. Moreover, these differences present opportunities for reducing the integration effort. Several methods that take advantage of software's special characteristics are identified, and a case study of one environment provides some empirical evidence that reveal the benefits that may follow. The article concludes with some observations regarding the transfer of the lessons learned with information systems to other application domains-both hardware and software.This work was supported in part by the U.S. Navy, Space and Naval Warfare Systems Command (SPAWAR) under contract N00039-89-C-001, task VMAR9 with the Office of Naval Research (ONR).     

软件开发模型研究综述

在软件工程活动中,首要的任务是选择一个适合于组织实际情况的软件开发模型和软件过程。文章对常用的软件开发模型进行了系统的介绍和总结,给出了这些模型之间的关系、各自的特点和适用场合。     

基于风险管理的软件开发过程模型

所谓软件开发过程中的风险,指的是在软件的开发过程中,可能会遇到的关于进度和预算方面的问题,或者是这些问题对软件开发的影响。如果软件开发过程中的风险变为现实,就会增加项目成本、影响项目进度、打乱软件开发计划,甚至最终影响软件项目的实现。风险管理对于软件开发来讲,就是为了尽可能的降低风险发生概率。如果对软件开发中的风险管理...     

软件开发过程与测试过程的协同工作模式

软件开发过程与测试过程是完成软件开发紧密相关的两个过程,它们协同工作的好坏关系到软件开发成本的高低、软件缺陷的发现度.文中提出了一种在V模型基础上根据已有的文档信息,延迟测试或提早测试的软件开发过程与测试过程的协同工作模式,对提高软件质量、降低软件成本能起到一定的作用.     

实施CMM的思考

近几年来,CMM在我国获得了各界越来越多关注,业界有过多次关于CMM的讨论。国内软件业出现实施CMM的高潮,从这一趋势看,中国的软件企业已经开始走上标准化、规范化、国际化的发展道路。但是需要注意的是,一定不能把CMM认证当作一种考试、一种文凭,而是要看成一项有利于企业今后发展的投资,如果企业只是为了获得一纸证书而通过CMM,那么就已经本末倒置了,对企业的长久发展反而有害。     

Ami: promoting a quantitative approach to software management

In this paper we first review the state of the art in software measurement. We then explain how measurement should be used in a goal-oriented manner in project management and describe the ami (application of metrics in industry) approach to achieving this. Finally we consider the ami project as an example of successful technology transfer and look at the variety of tactics used for dissemination of the approach in response to the needs of today's growing software measurement community.     

基于过程建模的软件系统开发环境

随着计算机系统应用范围的快速扩展,人们迫切需要质量高、成本低、上市早的软件系统,软件系统的自动生成是解决问题的一个好的方法,提出一种基于过程建模的软件系统开发方法,并且研究和实现了一个支持软件系统从需求分析到软件自动生成的软件开发环境SDEBPM。     

基于体系结构的软件开发模型

传统软件开发模型存在开发效率不高,不能很好地支持软件重用等缺点。在多个大中型软件项目的实践基础上,提出了基于体系结构的软件开发模型(ABSD)。ABSD模型把整个基于体系结构的软件过程划分为体系结构需求、设计、文档化、复审、实现、演化等6个子过程,讨论了各个子过程所要完成的工作,给出了ABSD模型在劳动和社会保险领域的一个应用实例。实践表明,采用ABSD模型进行软件项目开发,具有结构清晰、易于理解、可移植性强、重用粒度大等优点。     

An empirical study of the validation process within requirements determination

Abstract. An empirical investigation into the validation process within requirements determination is described in which systems analysts were asked to complete a questionnaire concerning important validation issues. We describe the major validation activities, a set of major problems experienced by the respondents, factors affecting the process and hypotheses for problem explanations. The levels of experience of the respondents and the organizations for which they work appear to be significant.
Analysts employ a very traditional approach, expressing the specification mainly in English, and they experience problems in using over-formal notations in informal situations with users, as well as problems in deriving full benefit from notations when building the specification and detecting its properties. Not all of the specification is validated and tool use is not widespread and does not appear to be effective.
We define the concepts of formal and informal view, and suggest that method and tool use will not necessarily increase in organizations as it is apparent that research into the more effective application of formal notations is necessary. In addition, it is clear that the factors that affect the validation process are not only technical, but individual and organizational, necessitating the development of suitable informal activities which take these factors into account.     

一种有效的软件测试模型

软件测试是软件质量保证的一个重要元素。在测试过程中使用合理的软件测试模型可以降低测试在开发活动中的花费。该文提出了一个软件测试模型。该模型将软件测试贯穿软件开发周期的各个阶段,可以尽可能早地发现软件中的错误,有效地缩短了测试在软件开发过程中所占的时间。最后给出该测试模型在报表生成软件升级开发项目中的应用。     

软件演化过程中运行实例的在线可信演化

为了提高演化的实用性, 研究了演化过程实例的在线迁移, 并采用高效的过程继承技术来检验实例的可迁移性。过程继承技术虽然很适合用来检验可信过程的可迁移性, 但其局限性较大, 在多色集合的相关理论基础上, 提出了基于基本结构的Petri网分解方法并证明了这种分解方法符合Petri网的一些基本且重要的性质, 用这种方法使不能按原计划一步迁移的多个过程分解开来多步迁移并尽可能保证其并行性。这种改进的过程继承技术提高了迁移的成功率, 使过程继承技术适用范围更广, 使软件更可信。最后通过一个网上银行支付系统说明方法在实例迁移方面的实用性。     

基于反馈的软件演化过程模型*

对软件演化及过程的特征进行了描述,提出软件演化过程的具体活动;分析了软件演化过程中的反馈机制,提出了基于扩展双变迁Petri网和反馈循环的软件演化过程模型.     

基于体系结构的软件过程Petri网模型

传统的软件过程模型存在开发效率不高,可移植性差,重用粒度小等缺点.Petri网由于自身的特点,可用于形式化描述软件过程,学术界已有部分研究.但已经发表的研究多是基于高级Petri的扩展,十分复杂和繁琐,难以应用到实际软件项目中.综合利用软件过程理论、软件体系结构理论以及Petri网理论,提出了基于体系结构的软件过程Petri网模型(ABSPN),并证明了ABSPN模型具有过程正确性、强连通性、活性和有界性.实践证明,采用ABSPN模型进行软件开发,可以使软件结构清晰,易于理解,可移植性强,重用粒度大.     

面向对象的软件开发过程制品的研究

与国际软件强国相比，国内中小软件企业相对不规范，从面向过程向面向对象转型期间存在诸多问题，而市面上面向对象开发并没有适合中小软件企业的统一文档规范。面对这种的现状，提出一个适合国内软件企业的采用面向对象技术进行软件开发的过程，并对每个阶段产生的制品做出详细的描述，对国内中小软件企业的发展、规范是非常有意义的。     

基于CMM的软件质量保障平台定义框架

随着计算机软件产业的形成和发展 ,软件质量保证受到越来越多的重视 .于是 ,一种专门针对软件开发组织的软件质量保证模型 CMM逐渐成为研究热点 .本文介绍了 CMM的思想 ,提出了基于 CMM的软件质量保障平台定义框架 ,最后给出了基于定义部分结果构筑的在分布式协同环境下实现的系统结构框图 .