基于MVC模式的应用软件开发框架研究

软件体系结构为软件系统提供了一个结构、行为和属性的高级抽象,与应用相关的研究侧重点主要在风格和模式上,同时实际应用软件的开发过程与具体的软件开发平台也密切相关。该文主要论述在M VC模式的指导下设计和实现了一个基于J2EE平台的应用软件开发框架LilyFram ework,同时,也给出了LilyFram ework框架开发应用软件的实例。     

OLTP系统的RUP建模研究与应用

软件开发过程是一个将用户需求转化为软件系统所需要的所有活动的集合，模型是这些活动的核心制品。每个模型都是在一定角度和抽象层次上对软件系统的描述，设计良好的模型有利于开发团体理解软件系统并控制系统风险。探讨了如何对目前广泛应用的RUP(Rational通用过程，Rational Unified Process)进行剪裁和补充，以实现OLTP(Online Transaction system，在线事务处理)系统的高效建模。     

基于软件工程的规约方法分类

本文从软件工程角度,对软件的规约方法进行了分类。得到两类规约方法:一类是基于逻辑规约方法.此方法一般是给出系统应该满足的性质集合。其代表是时序逻辑方法。另一类方法是基于模型规约方法。此方法一般是给出一个抽象模型,这个抽象模型指出程序应该如何活动.其代表是通信系统演算(CCS).本文进一步从软件工程原理,对这两类规约方法进行了比较和讨论。得到的结论是:两种类型的规约方法在系统开发的整个过程中都起着不同而重要的作用,它们相辅相成,缺一不可.最后,指出了今后的研究工作.在软件开发中,应该考虑多种规约方法和多种语义相结全的开发过程.     

软件过程的模型化研究

由于软件开发组织不能很好地定义和管理其软件过程，以致在实际开发过程中产生诸多问题。在对传统开发过程分析的基础上构造了一个有效可行的过程模型，即生命周期分阶段、每个阶段进行多次受控迭代、工作流活动有计划进行，并根据CMM(Capability Maturity Model)标准对软件过程进行了形式化描述。最后给出了对抽象模型进行重用和剪裁再工程的一般原则，从而能根据不同需求制定合适的开发过程来指导软件开发。     

敏捷软件过程的研究

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

核电厂DCS安全级应用软件开发的危险分析

为了减小或避免因控制系统软件而导致的核电厂安全性降低的不良后果,提出了对核电厂数字控制系统安全级应用软件开发过程进行危险分析的活动.采用验证和确认的方法,并结合安全保护层模型、预先危险分析方法(PHA)、故障树分析等方法对应用软件开发过程中的系统设计、软件设计、软件实现各个阶段的危险进行分析.通过CPR1000项目工程实践表明,采用验证和确认的方法能有效地减小软件开发过程中的危险以提高应用软件的安全性,从而最终提高核电厂的安全性.     

基于RUP与UML快速建模技术的研究及应用

RUP与UML结合是目前最有效的面向对象的建模技术。然而,RUP非常庞大,使用时还得做裁剪。通过对RUP进行裁剪,可以得到很多不同的软件开发过程。基于RUP和UML,该文提出了一种能有效快速建模开发软件的方法,并通过对一个课程管理系统的建模,给出该方法的应用细节。实践表明,在软件的开发过程中,这种基于用例驱动,以类图为核心的软件开发过程,比RUP更简单实用,能清晰快速地构建软件系统的模型。     

计算机软件开发规范研究

在计算机的发展过程中,计算机软件的开发直接关系着计算机行业未来的前景,在计算机软件的应用过程中如何实现开发的规范化是现阶段需要我们着重需要解决的问题,在软件的开发周期中可以划分为可行性研究与计划、需求分析、概要设计、详细设计、实现、组装测试、确认测试、使用和维护这几个阶段,在实际的软件开发过程中遵循相应的开发规范,有利于清晰化整个软件开发阶段,具体明确开发任务,使得项目负责人对项目进行有效的管理,增强开发人员之间的交流合作,从而提高所开发软件系统的质量,缩短开发时间,减少开发维护费用,使得软件开发活动更加科学。     

组件化服务与业务流程提取模型

为了使得客户业务需求和软件实现一致,软件开发团队力求找到正确的适合团队的软件开发过程.为达到软件变化尽快适应需求变化,开发团队需要一定的工具和分析方法支持.SOA的出现,为软件组织构建灵活应对需求变化的软件系统指明了方向.通过分析SOA的特点和面向服务分析与设计方法论,提出了一个基于SOA的组件化服务与业务流程提取模型,该模型可以作为SOA软件系统服务分析与提取的方法.     

基于形式化方法的软件开发技术

形式化方法作为一种以数学为基础的方法,能够清晰、精确、抽象、简明地规范和验证软件系统及其性质,能够极大地提高软件的安全性和可靠性.本文从形式化方法的研究内容、分类以及发展等方面出发,对基于形式化方法的软件开发的基本思想作了介绍,分析了使用形式化开发软件系统的优势和可靠性.     

基于元模型的软件开发与管理集成研究

当今软件开发呈现一些新特点：团队并行开发,基于模型的软件开发,迭代增量开发等。开发过程是如此复杂,融合软件开发与管理支持的环境成为必要。文章认为开发与管理集成的关键是：环境提供对元模型的支持,以UML为基础的软件产品标准化,多种开发工具的数据集成和良好的数据管理机制。文章介绍了将开发与管理融为一体的集成化环境UML＿IDME,集中讨论环境如何提供和协调过程模型,产品模型,组织模型和开发工具集合来达到开发与管理集成的目的。此外,还讨论了过程模型如何组织,指导和监控软件开发。     

应用软件的编程技术及开发工具

计算机软件编程技术是当今信息技术发展速度最快的领域之一。在短短的十几年中,随着面向对象编程技术的发展和成熟,计算机软件产业有了突飞猛进的发展,各种通用和专用软件开发工具也加快了其更新换代的速度。而对形形色色、目不暇接的各类软件开发平台和工具,怎样选择一个适合自己需要的,能在短时间内高效地开发出高质量的软件系统的最佳途径,是目前软件开发人员最为关注的问题。 在介绍各类应用软件开发工具之前,先介绍目前使用广泛的几种应用软件编程技术,包括面向对象编程技术、可视化编程技术及Windows环境利用技术。     

系统软件开发过程中的软件工程技术

因为系统软件的复杂性和特殊性，如何控制和管理系统软件的开发过程是直接关系到开发成败的重要问题。本文认为系统软件不同于应用软件，有其自身的特点和规律。现有的应用软件开发方法和软件工程技术不能完全满足系统软件开发的需要。本文结合一个编译系统开发的实例介绍了系统软件开发过程中的一点经验和体会。     

AOSD方法及其在分布式系统开发中的应用

在包含诸多横切关注点的复杂软件系统开发中，面向对象软件开发方法（OOSD）存在无法克服的缺陷。在分析面向对象软件开发方法对横切关注点处理的缺陷的基础上，讨论了面向方面软件开发（aspect-oriented software development，AOSD）方法及其在复杂系统开发中的优越性，提出了一种面向方面软件开发方法的过程模型，介绍了面向方面软件开发方法在分布式系统开发中的应用。     

基于形式化方法的软件开发技术

形式化方法作为一种以数学为基础的方法，能够清晰、精确、抽象、简明地规范和验证软件系统及其性质，能够极大地提高软件的安全性和可靠性。本文从形式化方法的研究内容、分类以及发展等方面出发，对基于形式化方法的软件开发的基本思想作了介绍，分析了使用形式化开发软件系统的优势和可靠性.     

支持复用和过程改进的过程模型RSDDM

当前的软件开发有两个重要特点：开发过程中的许多活动并行进行且各种软件制品大量复用。另外，持续不断的过程改进贯穿软件过程的始终。本文提出的RSDDM软件过程模型基于Petri网，能有效描述活动的并行。RSDDM模型还体现了尽量复用的思想：每个活动的产品尽量复用，软件过程本身也是可复用的。另外，在RSDDM模型中，过程改进贯穿软件过程或软件子过程的始终。     

工程应用软件开发中应注意的问题

分析了软件开发过程中存在的典型错误观点，说明了开发工程应用软件的过程管理与软件质量间存在的必然联系，指出了具有必要的管理手段并解决好软件开发中的关键问题是得到高质量软件的必要条件。提出了在工程应用软件开发过程管理中应着重从人、问题和过程这3个方面加以分析和考虑。     

软件可靠性分配中的开发成本最小化问题研究

本文研究软件可靠性分配模式中的软件开发成本最小化问题。将软件系统的成本最小化问题表达为一类带约束条件的组合优化问题,采用并行遗传算法中的粗粒度模型及多种群进化策略,提高了搜索性能。实验表明:并行遗传算法有效地提高了求解质量。     

一种可重用构件模型——类属构件

软件重用是在开发一个新的应用系统时,重复使用以前在别的应用系统开发活动中所建立和使用过的软件资源。这些软件资源不仅包括源代码,还包括软件开发方法、需求规格说明、设计结构、开发工具与支撑环境、测试分析数据和维护信息等。软件重用技术有助于提高软件开发的生产率,提高软件系统的可靠性。降低软件开发的成本.因而它已成为软件工程的重要研究课题。     

基于Bayesian网络的软件开发模型

在这篇论文中,阐述了用贝叶斯信任网络(Bayesian Belief Networks:BBN)进行软件建模的方法,提出了基于BBN软件开发模型,该模型能够表示软件过程的主要活动,给出了如何构建BBN开发模型的步骤,在定义要求控制和计划的关键工作流时该模型能支持专家意见,这种模型能够应对软件开发过程的迭代特性,并对开发过程中的每一步都会渐近产生精确评估,根据其结构可对每一个工作流的整体结果做出评估。