软件演化过程

作品数：22被引量：27H指数：2
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：李彤谢仲文刘金卓于倩代飞更多>>
相关机构：云南大学云南农业大学云南省科学技术院南通大学更多>>
相关期刊：《科技创新导报》《计算机应用与软件》《计算机应用研究》《绵阳师范学院学报》更多>>
相关基金：国家自然科学基金云南省教育厅科学研究基金云南省自然科学基金云南省科技厅科研基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
面向同步交互的软件演化过程全局层和过程层的建模被引量：1
《云南大学学报（自然科学版）》2018年第4期638-644,共7页钱晔 彭琳 李彤 郁湧 李文峰 孙吉红 
国家自然科学基金(31260292;61262024;61462091);云南省教育厅科研基金(2015Y194)
在全球化软件开发的背景下,针对分布在不同地域的开发团队频繁同步交互式所引起的软件演化过程的可信问题,和软件演化过程元模型EPMM构建的软件演化过程模型描述的同步交互是非形式化的问题,提出了使用通信系统演算CCS为形式工具的分布...
关键词：同步交互 可信 软件演化过程的元模型 通信系统演算 
软件演化过程的资源优化配置分析
《科技创新导报》2018年第2期169-170,共2页芦鹏 
针对目前软件工程对软件演化过程的应用需求,文章分析了研究软件演化过程资源优化配置的重要性,并提出了相应的优化方案。主要研究目的在于更好地满足使用者对软件的需求,同时为研究人员提供一些理论基础。
关键词：软件工程 软件演化过程 软件生存周期 
置身软件工程领域三十载“我心无悔”——记云南大学数据驱动的软件工程省创新团队带头人李彤
《科学中国人》2017年第9Z期46-49,共4页徐芳芳 
近20年来,计算机软件已经作为现代科学研究和解决工程问题的基础以及管理部门、生产部门和服务行业中的关键因素,渗透到了各个领域,成为当今世界不可缺少的一部分。2001年年末,为了加快国家新型产业——软件产业的成长步伐,我国在全国...
关键词：软件演化过程 动态演化 云计算环境 创新团队 软件过程建模 数据驱动 
软件演化过程的资源优化配置
《电子技术与软件工程》2016年第21期58-58,共1页张宇飞 
针对软件演化过程中资源优化配置问题进行分析,提出了资源管理和资源录入等方面内容,结合这些问题,总结了进行资源配置之前应当做出的准备。根据以上内容,总结出如何实施软件演化过程中的资源优化和配置。
关键词：软件演化 资源优化配置 资源管理 人力资源 
一种面向同步交互的软件演化过程建模方法被引量：2
《计算机科学》2016年第8期154-158,共5页钱晔 李彤 郁涌 孙吉红 于倩 彭琳 
国家自然科学基金项目:软件演化过程的行为验证研究(61262024);国家自然科学基金项目:基于构件的可信软件构造及其行为动态可信测评(61462091);云南省科技厅面上项目:基于构件的可信软件构造及其相关问题研究(2012FB119);云南省教育厅科研重点项目:基于构件的可信软件构造及其可信测评(2013Z057)资助
全球化软件开发导致以交互方式协作开发的频率和复杂性越来越高。为了控制和规范软件演化的开发行为进而提高软件质量,文献[10]设计了软件演化过程元模型EPMM,由EPMM定义的软件演化过程模型未能形式描述其交互的特点。基于EPMM^([10])...
关键词：软件演化过程的元模型 通信系统演算 同步交互 
CEPDL:一个简约的软件演化过程建模语言
《内蒙古大学学报（自然科学版）》2016年第1期102-107,共6页刘金卓 白天罡 于倩 王炜 代飞 
国家自然科学基金(61262024;61262025;61462091;61462095;61462092;61379032);云南省自然科学基金(2014FD006;2012FB119;2013FB008);云南省教育厅科学研究基金(2013Z057;2014Y012;2011Y121);云南省软件工程重点实验室开放基金(2012SE401;2012SE308)
随着软件演化过程模型被EPMM建模产生,软件演化过程模型的形式验证问题尤其是自动化验证问题却尚未得到解决.为了实现软件演化过程模型的自动化验证,提出了一种简约的软件演化过程建模语言(CEPDL,Concise Software Evolution Process De...
关键词：软件演化过程 形式化验证 软件演化过程建模语言 模型检测 
基于关联矩阵的软件演化过程结构验证
《计算机科学》2015年第S1期519-524,共6页刘金卓 于倩 赵娜 谢仲文 郁湧 杭菲璐 金运志 
国家自然科学基金(61262024;61462091;61462095;61462092);云南省自然科学基金(2014FD006;2012FB119;2013FB008);云南省教育厅科学研究基金(2013Z057;2014Y012;2011Y121);云南省软件工程重点实验室开放基金(2012SE401;2012SE308)资助
软件演化过程领域将软件演化和软件过程领域联系起来,为了适应新的需求和新的环境,越来越多的软件演化过程模型被建模出来。针对软件演化过程模型结构合理性验证还没有有效实现的问题,对基于白盒建模的软件演化过程模型的结构性质进行...
关键词：软件演化过程 结构验证 关联矩阵 白盒建模 结构性质 
面向目标导向的软件演化过程行为的研究
《云南民族大学学报（自然科学版）》2015年第1期66-74,共9页黄世反 沈勇 王道红 康洪炜 郑见琳 贾书伟 
云南省软件工程重点实验室面上基金(2012SE306;2011SE12)
对软件演化过程行为的分析有助于在演化前期阶段发现一些不合理的设计情况,从而达到降低软件演化的风险.在面向目标导向的软件演化过程模型的基础上,使用通信顺序进程的原理对软件演化过程的行为进行了研究,分别从过程的迹、确定性和不...
关键词：通信顺序进程 目标导向 软件演化过程 过程行为 
软件演化过程中运行实例的在线可信演化
《计算机应用研究》2013年第11期3365-3369,共5页杨帅 张璇 王黎霞 赵倩 刘聪 
国家自然科学基金资助项目(61262025;61379032;61262024);云南省应用基础研究计划面上项目(2012FB118);云南省教育厅科学研究基金资助项目(2012Y257);云南省软件工程重点实验室开放基金资助项目(2011SE09);云南大学中青年骨干教师培养计划专项经费资助项目
为了提高演化的实用性,研究了演化过程实例的在线迁移,并采用高效的过程继承技术来检验实例的可迁移性。过程继承技术虽然很适合用来检验可信过程的可迁移性,但其局限性较大,在多色集合的相关理论基础上,提出了基于基本结构的Petri网分...
关键词：软件演化 过程演化 可信演化 实例迁移 
基于EPMM的软件过程结构合理性研究被引量：2
《计算机科学》2013年第8期186-190,共5页代飞 李彤 谢仲文 莫启 金运志 
国家自然科学基金(60963007;61262024;61262025);云南省自然科学基金(2012FD005;2012FB118;2012FB119);云南省软件工程重点实验室开放基金(2010KS01;2011SE04;2012SE307;2012SE101)资助
为了确保软件演化过程的正确性,有必要对软件演化所涉及的软件过程进行结构合理性研究,以提高软件演化的质量和效率、缩短软件演化的周期。针对EPMM建模产生的软件演化过程模型,从过程层的角度,提出结构合理性定义,并设计相应的判断算...
关键词：软件演化过程 软件演化 软件过程 性质合理性 PETRI网 元模型 
全选清除导出
共3页<123>
检索报告 对象比较 聚类工具 使用帮助 返回顶部