编程范式

作品数：17被引量：39H指数：3
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：叶俊李暾谭庆平李向阳王博更多>>
相关机构：国防科学技术大学中国科学技术大学上海交通大学湖南大学更多>>
相关期刊：《电脑编程技巧与维护》《计算机与数字工程》《高技术通讯》《中国工业和信息化》更多>>
相关基金：国家自然科学基金长江学者和创新团队发展计划国家高技术研究发展计划创新研究群体科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=计算机学报x
共 条 记 录，以下是1-1
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于层次状态机的方面化特征模块的增量式验证被引量：6
《计算机学报》2009年第9期1773-1781,共9页叶俊 谭庆平 李暾 徐建军 
国家自然科学基金项目(60773025);长江学者和创新团队发展计划资助~~
方面化特征模块(AFM)是最新提出的软件产品线(SPL)编程范式,能解决现有SPL编程范式存在的问题,但由于AFM范式同时存在模块的并发组合和顺序组合,现有的组合验证技术和模块化模型检验技术并不适用于AFM程序的验证,且目前还未见到针对AFM...
关键词：方面化特征模块(AFM) 层次状态机(HSM) 增量式验证 面向特征编程范式(FOP) 面向方面编程范式(AOP) 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部