国家自然科学基金(60463002)
- 作品数：35 被引量：49H指数：4
- 相关作者：李彤郁湧张国生柳青张坤更多>>
- 相关机构：云南大学楚雄师范学院西南林学院更多>>
- 发文基金：国家自然科学基金云南省教育厅科学研究基金云南省应用基础研究基金更多>>
- 相关领域：自动化与计算机技术天文地球轻工技术与工程更多>>
- 软件演化过程体系结构研究被引量：2
- 2008年
- 软件过程与软件之间有着非常紧密的联系。借鉴软件体系结构SA的有关概念,提出了软件演化过程体系结构SEPA,试图用SEPA在总体上描绘出软件演化过程的蓝图。给出SEPA的相关定义、研究目的和意义,并对SEPA的描述工具以及风格进行论述,最后提出了一种基于SEPA和过程构件的软件演化过程设计方法。
- 李飞李彤
- 关键词：软件演化过程
- 基于EPMM的任务和活动的规范化研究被引量：3
- 2010年
- 为了开发高质量的软件过程,有必要对任务和活动进行规范。基于EPMM对活动和任务的形式化定义,通过对任务间的逻辑关联、消息关联的分析,提出了规范任务的概念,给出了活动第一范式、活动第二范式和活动第三范式的定义,并给出将低级别的活动范式转化为高级别的活动范式的算法。
- 谢仲文李彤秦江龙李经磊刘金卓
- 关键词：逻辑关联
- 基于层次着色Petri网的需求工程过程框架被引量：3
- 2011年
- 提出一种基于层次着色Petri网的需求工程过程框架,对软件需求工程过程、需求活动、需求任务及其功能进行了形式化定义,为软件需求工程实现了一个清晰、完整、无二义性的精确描述框架,并为最终产生高质量的软件需求规格说明奠定了坚实的基础,也为软件需求的精化、规约、复用、演化以及需求管理、需求质量控制、度量等提供了严格数学依据。
- 张国生
- 关键词：层次着色PETRI网需求工程过程
- 支持软件演化过程的知识库被引量：2
- 2006年
- 软件演化过程是当今软件工程研究的一个重要课题,一些支持软件演化过程的策略和方法被提出,有效地支持了软件的演化.本文以信息复用的策略为基础,提出了在软件演化过程中通过知识库的应用对信息进行复用,以及知识库的应用框架来支持软件演化过程.
- 董朝李彤郑疆张恒瑞
- 关键词：软件演化过程接口
- 基于灰色神经网络对软件可靠性模型的研究被引量：4
- 2009年
- 软件可靠性是软件工程的一个重要的研究课题。软件可靠性模型可以预测软件产品的缺陷累计率。在GM(1,1)模型、DGM(2,1)模型和Verhulst模型的基础上,结合BP神经网络的理论对软件可靠性进行建模。通过理论分析和预测实验表明,该方法是可行的,拓宽了软件可靠性模型的研究方法。
- 张坤李彤郁湧
- 关键词：灰色神经网络新陈代谢
- 一种基于SEPM的过程片断效率度量和改进
- 2006年
- 提出了一种支持形式化的软件演化过程模型的效率度量方法和改进策略．效率度量可以帮助我们了解模块的执行效率和并行度．对于一个从SEPM中被截取下来的过程片断,介绍了如何通过定制它的效率度量原则、方法、步骤来进行定量分析和评价,根据SEPM的特点制定改进策略,挖掘和拓延活动内和活动间的并行性,从而提高该过程片断的效率,使它有能力,为评价整个软件演化模型的效率奠定基础．
- 陈展李彤
- 一种支持软件过程裁减的知识建模技术
- 2006年
- 重用现有的软件过程和嵌入在过程中的知识将明显地改进软件开发的效率．因此提出了基于知识库的过程裁减知识建模技术．该知识建模技术实现了显性知识和隐性知识的统一建模,有利于实现知识集成,并具有开放性和易使用性等特点．
- 张恒瑞柳青郑疆董朝
- 关键词：裁减知识
- 软件并行开发过程体系结构设计与应用
- 2009年
- 软件并行开发技术,大大提高了软件开发的效率.软件并行开发过程体系结构是对软件并行开发过程的高级抽象.通过对基本元素的定义,提出了软件并行开发过程体系结构SCDPA和SCDPA元模型.图形化工具描述软件并行开发过程构件和连接件,并映射为Petri网下的表示.通过实例应用来说明其可行性.
- 付志涛李彤
- 关键词：PETRI网元模型
- 一种分解树到形式化代码片断的转换算法
- 2006年
- 在软件演化过程研究中,对任务功能进行分解,利用分解树来存储分解结果,提出了一种算法,使分解树可以自动转换为对任务功能的形式化描述语句,从而提高了软件演化过程建模的效率和规范性．
- 郑疆柳青张恒瑞董朝
- 关键词：分解树软件演化过程
- 构件演化度量方法研究被引量：1
- 2008年
- 构件演化是指构件根据用户的需求和技术的变化而不断改变,它是由一系列复杂的变化活动组成的。分析了构件演化的特点及其对度量的影响,根据GQM度量定义模型,给出了构件演化过程中的主要度量。希望通过度量和测评,能够有效地对构件演化进行控制,保持构件系统的一致性和稳定性。
- 林英李彤张雁
