退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:使用pVs的sCR式软件需求规范的自动结构分析
Taeho Kim; Sungdeok Cha;
机译:使用PVS对SCR样式的软件需求规格进行自动结构分析
机译:使用PVS的SCR风格软件的自动化结构分析需求规格
机译:使用PVS形式验证SCR样式的软件需求规范的功能属性
机译:使用PVS进行SCR式软件要求规范的功能性质的正式验证
机译:对具有外部交互模型的嵌入式软件的需求进行规范和分析。
机译:使用集成的高分辨率精确质量方法和自动化数据分析软件的自动化高通量代谢稳定性分析
机译:基于NL的自动化软件需求获取和规范
机译:光伏太阳能设计软件是一种设计工具,可根据澳大利亚标准和清洁能源委员会的指导进行详细而冗长的计算,从而帮助工程师/太阳能设计师进行并网光伏系统设计。它减少了时间,节省了金钱并消除了人为错误。该软件通过计算光伏阵列和逆变器配置以及系统平衡来执行详细的技术计算。它计算所需的系统大小(kW)。还执行财务计算,提出产品规格并比较2种不同系统的能源产量。
机译:将软件需求的自然语言规范转换为分析模型
机译:检查具有软件体系结构规范的软件产品的方法,包括确定产品的中央结构决策,其中确定代码结构和体系结构规范之间的一致性
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。