退出
我的积分:
中文文献批量获取
外文文献批量获取
刘烁; 陈俊杰;
太原理工大学计算机与软件学院;
太原;
030024;
面向对象软件测试; 统一建模语言; 着色Petri网; 测试用例生成;
机译:基于CPN的软件测试方法
机译:基于CPN形式主义的UML中模型互连一致性
机译:用于移动应用程序的基于SIP的状态和动态发现协议的形式化,验证和可执行CPN模型。
机译:UMLS索引系统在基于WWW的数字图像索引工具中的应用。
机译:使用启发式技术根据设计规范生成软件测试数据。在自动生成软件测试数据和测试代码中探索UML状态机图和基于GA的启发式技术。
机译:在基于模型的开发(mBD)中使用统一建模语言(UmL)用于安全关键应用。
机译:将基于RSM的元模型的UML呈现转换为基于MOF的元模型的UML呈现的方法
机译:CPNS环境中的终端的日志信息管理应用系统和方式以及为此的CPNS服务器,便携式通信终端和终端
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。