分享到:

演化软件过程模型

根据目前软件开发的趋势,介绍了几种常见的软件开发的演化模型,包括增量模型、螺旋  (本文共2页) 阅读全文>>

《计算机工程》2007年14期
计算机工程

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

软件演化已成为软件生存周期中最重要的形态之一。该文对支持软件并行工程的SDDM过程模型在标...  (本文共4页) 阅读全文>>

《计算机工程与应用》2007年13期
计算机工程与应用

支持软件演化的扩展SDDM软件过程模型

软件演化已成为软件生存周期中最重要的形态之一。对基于Petri网、具有面向对象特征的软件过程模型SDDM进行...  (本文共4页) 阅读全文>>

《理论界》2005年11期
理论界

软件过程模型的演化

软件过程是软件开发人员普遍关注的焦点,为解决实际应用中的问题,人们综合出了很多软件开发策略,称为软...  (本文共2页) 阅读全文>>

西安电子科技大学
西安电子科技大学

动态环境中软件演化过程模型及关键技术研究

计算机技术中软硬件技术的快速发展促使用户对各类软件的功能和性能提出更高期望和要求,软件成本也随之不断升高。网络覆盖地域范围的扩大与网络接入设备的多样化使得软件相关计算资源和数据与外界环境之间边界模糊化,软件所处环境动态变化且内部计算单元可动态加入或退出系统。如何增强软件对环境动态变化的适应能力属软件演化领域重要研究内容,同时对降低软件成本、延长软件生命周期也具有重要意义。由于Agent具有自主性、自适应性等特性,将Agent技术应用至软件动态演化过程被认为是一种实现动态环境下软件演化的可能途径。本文的研究重点在于基于Agent技术,提出一种采用软件集成方式实现软件在线演化的动态演化过程模型及其若干核心策略与算法。本文首先给出一种基于Agent的软件演化支撑框架,并重点对其内部Agent及其环境模型进行说明。在该支撑框架基础上给出基于Agent的软件演化过程模型的形式化表述,依据该过程模型分别面向用户需求和环境动态变化详细阐述两种...  (本文共79页) 本文目录 | 阅读全文>>

云南大学
云南大学

基于符号化模型检测的软件演化过程模型验证

本论文的研究工作主要包含了以下几个方面:1)提出了软件演化过程模型验证语言CEPDL (Concise Evolution Process Description Language);2)证明了白盒建模软件演化过程模型的结构优良性;3)利用CEPDL语言对软件过程模型进行了动态性质验证;4)构建了软件演化过程模型行为图的行为规约并且利用CEPDL语言对软件演化过程模型进行了行为验证。CEPDL语言是在文献[3]中所提出的软件演化过程元模型EPMM (Software Evolution Process Meta-Model)基础上发展而来的。文献[3]基于基本Petri网,扩展了面向对象技术和Hoare逻辑,提出了EPMM,有效的解决了软件演化过程的形式建模问题,但是,描述EPMM的语言EPDL只能对软件演化过程模型进行描述,不能描述过程模型的性质。CEPDL语言增加了基于线性时序逻辑的性质描述模块,可以充分的描述模型的性质规约...  (本文共152页) 本文目录 | 阅读全文>>