您的位置： 专家智库 > >

中央级公益性科研院所基本科研业务费专项(56XAA12022)

作品数：1 被引量：8H指数：1
相关作者：张伟赵子玥张钰龙何文民贾哲更多>>
相关机构：北京大学南京航空航天大学更多>>
发文基金：国家自然科学基金国家高技术研究发展计划中央级公益性科研院所基本科研业务费专项更多>>
相关领域：自动化与计算机技术更多>>

文献类型

  • 1篇中文期刊文章

领域

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

主题

  • 1篇语义建模
  • 1篇软件复用
  • 1篇描述逻辑
  • 1篇复用

机构

  • 1篇北京大学
  • 1篇南京航空航天...

作者

  • 1篇金澜涛
  • 1篇沈国华
  • 1篇黄志球
  • 1篇贾哲
  • 1篇何文民
  • 1篇张钰龙
  • 1篇赵子玥
  • 1篇张伟

传媒

  • 1篇计算机研究与...

年份

  • 1篇2013
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
基于描述逻辑的特征语义建模及验证被引量：8
2013年
在软件产品线方法中,特征模型已被广泛用于获取领域需求以支持软件复用.但在一定程度上,各种方法对刻画特征模型以及特征之间约束关系存在语义上的冗余和混乱,不能有效对特征模型进行验证,也限制各种不同特征建模方法之间特征信息的共享.采用描述逻辑刻画了特征模型中的特征类、特征间关系与约束等方面,定义了特征间互斥、需要等约束的规则集合,用于对知识库中的语义特征模型实例进行一致性、完整性验证.并结合一个具体领域,对基于描述逻辑的特征建模及推理验证进行了详细论述.此研究对于领域特征模型的语义建模与验证、支持领域模型共享具有一定的指导作用.
沈国华张伟黄志球张钰龙金澜涛何文民贾哲赵子玥
关键词：软件复用描述逻辑
全选 清除 导出
共1页<1>
聚类工具0