退出
我的积分:
中文文献批量获取
外文文献批量获取
冯秋燕;
郑州大学;
软件系统; 测试用例; UML模型; OCL约束;
机译:从对象关系数据库中提取UML模型和OCL完整性约束
机译:根据经验评估OCL和Java以指定对UML模型的约束
机译:SOCLe中UML模型上扩展OCL约束的模型检查
机译:使用遗传算法的基于UML模型的分布式实时系统的流量感知压力测试。
机译:域间交互支持域间通信在人类Pin1中
机译:在pVs中形式化UmL模型和OCL约束1
机译:基于约束的交互式装配规划
机译:基于模型的控制设备的测试用例生成设备和测试用例生成方法
机译:基于用例图的测试用例生成程序以及使用该程序的测试用例生成方法
机译:电子替代,组织间工作流管理,组织间事务处理和基于Web的优化用户交互的系统和过程
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。