双随机软件可靠性模型的建模

本文在仔细分析了软件故障的物理过程及模型机理后，认为：由于软件故障过程的随机因素太复杂以致于用某一个传统随机过程不足以为软件故障过程建模．传统上采用的马尔可夫非齐次泊松过程模型或二项型式模型只能部分地表述软件的故障行为．若要全面地去表述软件的故障行为，就需要一个补偿随机过程．也就是说本文采用了两个随机函数来为软件故障行为建模．     

软件开发过程及其模型（I）

软件过程模型是软件过程的一种模型，它是软件开发的指导思想和全局性框架。软件过程模型的提出和发展反映了人们对软件过程的某种认识观，体现了人们对软件开发过程认识的提高和飞跃。软件过程模型对软件开发的作用不论怎么强调也不算过分。然而，问题是：迄今为止，无一称得上是完善的、普遍适用的。论题“软件开发过程及其模型”分析、讨论多种重要的过程模型的发展、哲学基础、形式概念、本质特征、适用性及其优缺点。本是论题     

软件过程建模语言研究

本文介绍了软件过程建模的基本概念，提出了对软件过程建模语言的基本要求并简要介绍了几个有代表性的过程建模语言，给出了一个基于时序逻辑的形式化过程建模语言ＸＹＺ／ＰＭＥ，该语言是时序逻辑语言ＸＹＺ／Ｅ的子语言，它支持以角色为中心的逐步求精的过程建模方法，可在统一的形式框架内表示不同抽象级的过程模型．软件过程，软件过程建模，过程建模语言，时序逻辑，程序设计语言．     

软件开发方法的几种过程模型研究

良好的软件开发过程模型，对高效率、高质量和低成本地开发软件，具有重要的指导意义。本文介绍了软件过程模型的构造和特点．并从最传统的线性顺序过程开始，对瀑布模型、原型模型、演化模型、螺旋模型、RAD模型等模型的结构、特点作了具体的分析。     

化学软件的软件过程改进

针对国内化学软件开发的特点，以软件能力成熟度模型（Capability Maturity Model of Software,SW-CMM）为基础，介绍了由初始级到可重复级的软件过程改进方案，并提出了适合化学软件开发的软件过程模型。     

基于CMM/PSP/TSP的软件过程改进

软件过程改进是目前软件开发技术的关键问题，该文通过对软件能力成熟度模型，个体软件过程和群组软件过程进行介绍，阐述了它们之间相辅相成的关系，并论述了以上三者的有机结合可以改进软件过程。     

一种基于模型融合的CMM实施过程建模方法

提出了一种基于模型融合的CMM实施过程建模方法．该方法使用软件过程工程元模型SPEM建立CMM过程模型CPM和企业过程模型EPM，通过融合CPM和EPM来获得CMM实施过程模型CIPM．文中利用带标记的有向图描述过程模型。给出了模型融合方法，并进行了一致性证明．最后通过一个过程模型融合原型工具和实例说明了方法的应用情况．     

基于构架的软件过程研究

在对软件过程进行分析的基础上，运用软件过程构架研究软件过程，指出软件过程构架不仅可以规范软件过程模型设计，而且还是一种评价软件开发企业软件过程能力成熟度的模型，并就过程构架的组成元素、设计原则和设计模式进行了讨论。     

基于PSL与XML的软件过程描述模型SPRM的设计和实现

本文在研究CMM的基础上提出了一种利用过程规范语言PSL对软件过程进行建模的思想，设计并给出了一个软件过程描述模型SPRM。该模型遵循CMM3级对软件过程定义的要求，采用XML Schema作为其统一描述语言，保证了软件过程的统一性和可扩展性，有利于实现软件过程的互操作与过程资源的共享，为实现统一的软件过程管理打下了基础。最后，本文利用SPRM模型实现了一个过程实例--简单评审过程，说明了如何利用SPRM定义企业的不同软件过程。     

一种支持构件化过程开发方法和分级管理机制的过程管理工具

开发符合组织规范和项目特征的软件过程模型,并对其进行持续地改进,是困扰软件组织的难点问题．一种支持构件化过程开发方法和分级管理机制的过程管理工具一青鸟过程管理（JBPM）系统借鉴CMM中“组织-项目”两级的层次化过程管理思想,引入了ISO／IEC 12207标准和IEEE 1517标准中的软件过程的需求规约,将基于构件的开发方法引入到软件过程的开发中,并为此提供工具支持,为过程管理问题提供了较好的解决方案．     

面向TSP的软件过程仿真模型

描述了一种面向小组软件过程TSP(Team Software process)的仿真模型，根据TSP的特点，采用将离散和连续建模思想结合的一种混合模型。这种模型分为两层建立，外层体现软件开发过程的阶段性，内层体现软件开发过程的连续性，从两个层次上详细说明模型的结构和原理；给出了模型的形式化描述；并用一个例子来说明模型的执行过程及结果。此模型能够从不同角度模拟软件的开发过程，并能够对软件开发过程进行监督和预测。     

面向服务的过程引擎模型设计

随着大规模软件的出现,软件质量成为软件行业倍受关注的重点问题之一。在基于一种粗粒度松耦合的面向服务体系结构,构建了一个主动过程引擎系统模型。该模型既可以完成软件开发过程的定义、解析和组装,也提供软件过程的主动执行和行为监控,同时也支持软件过程的演化,从项目的整体过程保证软件开发任务的顺利完成和软件产品质量。     

基于模糊层次分析法的软件易用性过程综合评价方法

对软件易用性过程进行综合评价是开发可信软件产品的必要因素。通过构建软件易用性生命周期模型和软件易用性度量模型搭建软件易用性过程综合评价模型, 通过此模型对软件开发中的易用性问题进行有效的指导, 规范易用性开发过程, 从而保证能够产出高易用性的产品; 利用模糊层次分析法对此模型进行度量评价, 量化评估易用性过程优劣; 通过一个实例分析说明该方法可以有效地应用于软件开发过程中, 能够尽早地确保软件产品的易用性, 为开发高易用度的软件产品指明了方向。     

敏捷软件过程的研究

敏捷软件过程可能成为最适应软件开发全球化，个性化，快速化，高质量新格局的先进开发模式，它能够帮助软件企业快速响应市场赢得竞争，针对这一趋势，系统分析软件开发的敏捷性需求，总结出敏捷软件过程的5种典型特征，如并行，轻载，基于时间，正好策略，基于组件等，然后设计了FLEX语言，从3个不同抽象导 上形式化定义了敏捷软件过程的功能模型，合作模型，资源模型和产品模型，基于过程模型，同时提出了9种静态分析和动态模拟技术，支持软件过程面向敏捷性的优化。     

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

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

一种反应式SPM及其动态语义XYZ表示

过程支撑环境PSE(process supporting environment)是一种支持软件过程元过程的计算机环境,PSE通过运作一个事先定义好的软件过程模型SPM(software process model)来控制和指导实际软件开发过程.SPM使用的控制方式分为主动式(proactive)和反应式(reactive)两种.由于主动式不能很好地支持软件过程的演化,反应式渐渐受到人们的重视.提出了一种反应式SPM以及建立这种模型所使用的图形化的软件过程建模语言,同时,对于所建立的SPM,提出用时序逻辑语言XYZ/E表示它的行为视图动态语义的方法.这为模型提供了明确的动态语义,为其运作和分析提供了形式化基础.     

一种形式化的组件化软件过程建模方法

为了解决当前软件过程重用方法中存在的问题,特别是由于缺乏对软件过程组件及其操作法则的精确定义所带来的重用中的低效率问题,介绍了一种形式化的组件化软件过程建模方法(componentized software process modeling,简称CSPM).CSPM提供了形式化定义可重用软件过程的机制,并且给出了将过程组件组合成过程模型的一系列操作法则.利用CSPM方法,能够以严格的方式对软件过程组件进行重用,并且有效地避免了传统非形式化建模方法中因歧义而有可能引起的潜在错误.CSPM还可以将对组装后的软件过程模型针对某些特定性质的验证问题转化成对其对应组件的一系列子验证问题,从而通过指数地减少需要搜索的状态空间规模,将原来在某些特定环境下不实用的验证问题简化成验证代价较小的一系列问题.     

一种基于Agent的自适应软件过程模型

传统的软件过程模型大多是静态的、机械的、被动的,它们要求软件工程人员在描述软件过程时预期所有可能发生的情况,并且显式地定义这些问题的解决方案.当软件过程所处的环境发生变化时,软件过程无法自适应地对这些变更作出相应的调整.提出了一种基于Agent的自适应软件过程模型.在这种软件过程模型中,软件过程被描述为一组相互独立而对等的实体--软件过程Agent.这些软件过程Agent能够对软件过程环境的变化主动地、自治地作出反应,动态地确定和变更其行为以实现软件开发的目标.