您的位置： 专家智库 > >

曹流

作品数：1 被引量：2H指数：1
供职机构：南京大学计算机科学与技术系计算机软件新技术国家重点实验室更多>>
发文基金：国家自然科学基金国家重点基础研究发展计划国家科技重大专项更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

  • 1篇自动化与计算...

主题

  • 1篇验证环境
  • 1篇一致性
  • 1篇软件体系结构
  • 1篇体系结构
  • 1篇OCL

机构

  • 1篇南京大学

作者

  • 1篇曹流
  • 1篇曹春

传媒

  • 1篇计算机科学

年份

  • 1篇2012
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
一种基于OCL的体系结构一致性验证环境被引量：2
2012年
在软件体系结构的相关研究中,如何保证软件体系结构的一致性成为了很重要的课题。提出了一种基于OCL的体系结构一致性验证方法,通过建模之前的对体系结构的约束进行定义,建模过程中和建模过程后对体系结构模型的一致性验证,来保证最终的模型符合用户所定义的一致性约束,提高了环境的易用性和可靠性。设计并实现了原型体系结构建模工具Artemis-GODE。
曹流曹春
关键词：软件体系结构OCL
全选 清除 导出
共1页<1>
聚类工具0