张钰龙
- 作品数:3 被引量:8H指数:1
- 供职机构:南京航空航天大学计算机科学与技术学院更多>>
- 发文基金:国家自然科学基金国家高技术研究发展计划中央级公益性科研院所基本科研业务费专项更多>>
- 相关领域:自动化与计算机技术更多>>
- 基于描述逻辑的特征语义建模及验证被引量:8
- 2013年
- 在软件产品线方法中,特征模型已被广泛用于获取领域需求以支持软件复用.但在一定程度上,各种方法对刻画特征模型以及特征之间约束关系存在语义上的冗余和混乱,不能有效对特征模型进行验证,也限制各种不同特征建模方法之间特征信息的共享.采用描述逻辑刻画了特征模型中的特征类、特征间关系与约束等方面,定义了特征间互斥、需要等约束的规则集合,用于对知识库中的语义特征模型实例进行一致性、完整性验证.并结合一个具体领域,对基于描述逻辑的特征建模及推理验证进行了详细论述.此研究对于领域特征模型的语义建模与验证、支持领域模型共享具有一定的指导作用.
- 沈国华张伟黄志球张钰龙金澜涛何文民贾哲赵子玥
- 关键词:软件复用描述逻辑
- 集成模块化航电软件的结构及运行机理
- 2012年
- 首先介绍了当前航空电子软件的主流的体系结构,然后结合Arinc653标准对集成模块化航电软件(Integrated Modu-lar Avionics,IMA)的结构进行了介绍,最后在此基础上分析了集成模块化航电软件的运行机理,此研究对于理解和把握航空电子软件具有一定的指导意义。
- 张钰龙
- 关键词:ARINC653
- 基于本体的特征模型一致性检测的研究与应用
- 对同一领域软件的复用开发被认为是实现工业化生产方式的重要途径,而需求的精确分析验证则是软件高品质复用开发的基础,当前主流的生产线驱动方法是采用特征模型的方式捕获领域需求的。但由于特征模型目前主要采取非形式化的方式描述,所...
- 张钰龙
- 文献传递