退出
我的积分:
中文文献批量获取
外文文献批量获取
张惠; 熊前兴;
武汉理工大学计算机科学与技术学院,武汉,430063;
软件统计测试; 使用模型; 马尔可夫链; 软件可靠性; UML; 模型;
机译:基于贝叶斯信仰网络的定量软件可靠性评估方法及安全关键软件的统计测试
机译:SAwUML-基于UML的合同软件架构及其使用SPIN的形式分析
机译:M-UML:对UML的扩展,用于基于移动代理的软件系统建模
机译:基于UML的分布式安全关键软件的统计测试加速
机译:基于UML的软件设计的软件故障传播和故障分析。
机译:UMLS-Interface和UMLS-Similarity:用于测量路径和语义相似度的开源软件
机译:基于UML的课程安排管理软件的开发方法研究
机译:将基于UmL的形式化规范,验证和验证应用于太空飞行软件和防御软件
机译:基于统一建模语言(UML)设计模型的嵌入式软件功耗预测方法
机译:将基于RSM的元模型的UML呈现转换为基于MOF的元模型的UML呈现的方法
机译:用于基于软件的基于网络的移动基站的家庭回程,中途或光纤前传的自配置方法,用于基于家庭的基于网络的移动基站的回程,中途或光纤前传的基于家庭的系统软件和计算机程序产品嵌入到非暂时性机器可读存储介质中
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。