退出
我的积分:
中文文献批量获取
外文文献批量获取
石玉峰; 魏欧; 周宇;
南京航空航天大学计算机科学与技术学院 南京210016;
模型检测; 软件产品线; 多值逻辑;
机译:使用基于本体一阶逻辑规则的方法对软件产品线冗余进行分类和解决软件产品线冗余
机译:利用可变性建模解决基于模型的软件产品线中的元模型修订
机译:解决基于模型的软件产品线中的元模型修订
机译:第三届软件产品线工程模型驱动方法国际研讨会和第三届软件产品线可扩展建模技术研讨会的联合研讨会(MAPLE / SCALE 2011)
机译:在SAFER案例研究中开发和评估了公式编辑器(一种基于工具的方法来增强软件产品线模型检查中的可重用性)。
机译:开发物联网代理的软件产品线流程
机译:基于仿真的产品线软件模型检测抽象
机译:研究基于开放式架构,开源软件和软件产品线的安全系统获取进展。
机译:在软件产品线中对提供利益的组合特征模型进行建模的方法和系统
机译:基于软件元模型构建软件模型的通用软件建模方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。