云南高校图书馆联盟文献共享服务平台- 检索结果

检索结果分析

检索条件："关键词=软件演化过程建模语言 "

共条记录，以下是1-1

全选清除导出

视图：

排序：

显示条数：

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...; 关键词：软件演化过程形式化验证软件演化过程建模语言模型检测

全选清除导出

共1页<1>