欢迎您!
东篱公司
退出
申报数据库
申报指南
立项数据库
成果数据库
期刊论文
会议论文
著 作
专 利
项目获奖数据库
位置:
成果数据库
>
期刊
> 期刊详情页
Verifying Aspect-Oriented Models Against Crosscutting Properties.
ISSN号:0218-1940
期刊名称:International Journal of Software Engineering and
时间:2013.6.20
页码:655-676
相关项目:交织场景驱动的信息物理融合系统行为建模与测试技术研究
作者:
Xi Liu|Lei Bu|Jianhua Zhao|Xuandong Li|
同期刊论文项目
交织场景驱动的信息物理融合系统行为建模与测试技术研究
期刊论文 10
会议论文 14
同项目期刊论文
设计模式指导的软件分簇方法
一种优化的闪存地址映射方法
一种基于特征矩阵的软件脆弱性代码克隆检测方法
Design and Implementation of a Toolkit for Usability Testing of Mobile Apps
面向方面的计算误差处理技术:实例研究与评估
一种基于图匹配的语义Web服务发现方法