曹流

作品数：1被引量：2H指数：1
导出分析报告
供职机构：南京大学计算机科学与技术系计算机软件新技术国家重点实验室更多>>
发文主题：一致性验证环境OCL体系结构软件体系结构更多>>
发文领域：自动化与计算机技术更多>>
发文期刊：《计算机科学》更多>>
所获基金：国家自然科学基金国家重点基础研究发展计划国家科技重大专项更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-1
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
一种基于OCL的体系结构一致性验证环境被引量：2
《计算机科学》2012年第S3期409-414,共6页曹流 曹春 
国家973计划(2009CB320702);科技部核高基项目(2009ZX01043-001-06);国家自然科学基金项目(60973044)资助
在软件体系结构的相关研究中,如何保证软件体系结构的一致性成为了很重要的课题。提出了一种基于OCL的体系结构一致性验证方法,通过建模之前的对体系结构的约束进行定义,建模过程中和建模过程后对体系结构模型的一致性验证,来保证最终...
关键词：软件体系结构 一致性验证 OCL 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部