软件开发成本估算模型的研究

软件成本准确地估算和管理控制是软件项目开发成功的基础。该文分析了影响软件开发成本估算准确性的因素,并详细介绍了IBM模型、Putnam模型和COCOMO模型三种经验估算模型,探讨了软件开发成本估算的新需求。     

解析软件开发模型以及在IMS建设中的应用

通过介绍几种软件开发模型,结合其在金华电力工会标准化信息管理系统建设中的应用,阐述了灵活采用快速原型模型、智能模型、增量模型的综合模型的重要性。     

基于构件的MIS软件开发

介绍了软件的开发现状 ,论述了 COM的一些基本概念和 COM的应用模型 ,阐述了构件技术在 MIS软件开发中的优势。最后结合高校教材 MIS的开发 ,介绍了一种基于构件的 MIS软件开发的新型模式。     

可视化信息的建模与实现

介绍了可视化技术在基于图形用户界面（GUI）的软件开发中的应用，提出了一种基于GUI的可视化软件开发模型，并结合实例讨论了可视化信息的管理和组织方式。     

大型水电仿真系统的模型驱动架构设计

介绍了基于模型驱动架构设计的水电仿真软件开发框架,以UML 作为面向对象建模工具,从更高的抽象层次上构建系统,描述和总结了系统的功能组成、模型结构与层次、模型变换及代码生成,避免传统开发的缺陷,使对系统的建模行为成为软件开发的核心。以吉林丰满水电站为用户案例,对系统进行应用测试,实践验证了该方法的通用性、先进性和可靠性,是一种适合实现水电仿真系统等大规模软件开发的新方法。     

容错软件开发框架RSDF

本文提出了一种将重用技术引入到容错软件开发过程的思想框架。它以重用库为核心,将增强的净室模型作为可靠性软件开发的理论基础,在方法和实践上为容错软件的开发提供了强有力的支持。本文介绍了该框架中重用库模型的结构及其对容错软件开发方法的支持。     

基于面向对象的MDA三级建模技术研究

模型在模型驱动架构(MDA)软件开发生命周期中驱动整个开发过程,建模在MDA中起关键作用,建模是否成功是模型转换的前提,也决定MDA软件开发的成败。通过对当前建模技术的研究分析,根据对系统抽象级别的不同,提出基于MDA的三级建模技术,即计算无关模型(CIM)建模,平台无关模型(PIM)建模,平台相关模型(PSM)建模。详细介绍三个不同抽象级别模型的建模过程,并对它们之间的模型转换加以说明,从整体上描述MDA软件开发的过程,得出一种MDA软件开发方法。     

模型驱动架构中的模型转换方法

模型驱动架构是OMG提出的一种新的软件开发方法，模型转换是模型驱动架构中最重要的部分。本文简要讨论了模型转换的概念，并把模型转换方法的结构概括为源模型、目标模型、转换规则库和转换流程控制器四个部分。本文对当前已有的模型转换方法进行了总结和分类，并综合介绍了当前几种主要的模型转换方法，最后对模型转换方法的发展前景做了展望。     

软件开发方法模型及其性能评价

本文首先描述了软件开发方法模型应具有的三项主要能力,然后详细地分析和讨论了瀑布模型、原型开发模型、演绎模型、知识库模型的软件开发方法,描述了各种模型的优缺点。最后,对四种模型的三项主要能力作了比较。     

部件式软件开发模型技术

部件式软件开发代表了分布式计算环境下较新的软件开发模式与方向，目前使用最广泛的部件软件开发模型和技术－ＣＯＭ／ＯＬＥ／Ａｃｔｉｖｅｘ，已成为事实上的软件工业标准，本文对部件式软件开发的基本概念、模型及技术作了概要的介绍。     

软件测试模型的探讨

软件测试是软件工程的一个阶段,也是保障软件质量必不可少的重要一环。软件测试模型是软件测试的工作框架,用于指导软件测试过程。本文在深入研究各种综合测试技术的基础上,通过对比分析各种主流的测试模型,提出了一种新的软件测试模型,包括静态测试、动态测试,测试评估等活动,把这些活动嵌入到软件开发的整个生命周期,能更好地规划软件开发和测试等一系列活动,提高了软件生产效率及其质量,该模型还适合于迭代开发。     

对象模式到关系模式转换研究

数据在信息系统中的使用面临着这样一个困难,即:数据存储是以关系模型为基础,而软件开发以对象模型来进行,造成了软件开发中数据访问技术的不和谐。提出并建立了一个软件框架,并就对象模式到关系模式的转换进行了研究。     

对象模式到关系模式转换的软件框架研究

数据在信息系统中的使用面临着这样一个困难,即数据存储是以关系模型为基础,而软件开发以对象模型来进行,造成了软件开发中数据访问技术的不和谐。在软件实现上陷入两种模式的转换工作,破坏面向对象语言的面向对象性,造成开发效率低下,代码重用率变低。提出并建立了一个软件框架,利用它提供的处于关系数据库和客户端之间的API来进行基于对象的数据库访问,充分发挥两种不同模式的优点,以提高软件开发的效率。     

对象模式到关系模式转换的软件框架研究

数据在信息系统中的使用面临着这样一个困难，即数据存储是以关系模型为基础，而软件开发以对象模型来进行，造成了软件开发中数据访问技术的不和谐。在软件实现上陷入两种模式的转换工作，破坏面向对象语言的面向对象性，造成开发效率低下，代码重用率变低。提出并建立了一个软件框架，利用它提供的处于关系数据库和客户端之间的API来进行基于对象的数据库访问，充分发挥两种不同模式的优点，以提高软件开发的效率。     

基于SysML的机载软件分层精化建模与验证方法

机载软件被广泛应用于航空航天领域, 大幅提升了机载设备的性能.但随着机载软件规模逐渐增大、功能逐渐增多, 给软件的开发带来了难度, 如何保障机载软件的正确性和安全性也成为一个难题.基于模型的开发可以有效提升开发效率, 而形式化方法能够有效保障软件的正确性.为了降低开发难度, 同时保障机载软件的正确性、安全性, 本文提出一种基于SysML状态机图子集的机载软件分层精化建模与验证方法.首先使用SysML状态机图对机载软件的动态行为进行建模, 根据提出的精化规则, 对初始模型进行手动逐层精化得到精化设计模型.然后针对软件模型动态变化的特性, 将SysML状态机模型自动转换为时间自动机网络, 并从软件需求中手动提取形式化TCTL性质进行模型检验.其次, 为了实现编码自动化, 将SysML模型自动转换至Simulink, 利用Simulink Coder生成源代码.最后, 以一个自动飞行控制软件为例进行了开发和验证, 实验结果表明了该方法的有效性.     

软件维护模型及其发展

介绍了软件开发模型与软件维护模型及其发展过程，通过对软件开发模型的研究，引出系统生命期的最后一个阶段软件维护的模型。详细讨论了软件维护模型的发展过程及现代维护模型-IEEE维护模型与ISO/IEC 12207的维护模型，并依此对软件维护进行了重新定义，指出软件维护是对一个需要提供高效低费的软件产品进行保障所采取的全部活动，最后对维护模型的发展方向作出简单预测。     

基于构件的NHPP类软件可靠性增长模型的研究

随着基于构件的软件开发模式的迅速发展,传统的NHPP模型无法适应大型的基于软构件的新型软件开发模式.结合软件可靠性分析中的黑盒方法和白盒方法,提出一种基于构件的NHPP类软件可靠性增长模型,CBNHPP模型.该模型以可加模型为基础,实现了时间域模型和体系结构域模型的结合,克服了这两种技术无法同时考虑软件测试过程中的故障排除和软件体系结构的问题.由于同时考虑了更多因素,因此该模型具有更高的准确性.最后通过实验证明了CB-NHPP模型的有效性.     

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

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

对软件测试过程模型的思考

在深入分析传统软件测试过程模型特点的基础上,提出了一种新的软件测试过程模型——并行"与"模型,并详细描述了各阶段的具体任务,更贴切地描绘出软件测试活动的复杂关系,充分反映出软件测试活动与开发活动之间的时序性、层次性、迭代性和并行性。