退出
我的积分:
中文文献批量获取
外文文献批量获取
章程; 赵建军; 沈备军; 陈昊鹏;
上海交通大学软件学院软件工程中心;
上海;
200030;
契约式设计(DBC); Java; 静态验证;
机译:AnnaBot:Java注释用法的静态验证器
机译:用于建模工程模拟器设计支持验证的研究环境属性
机译:设计与使用静态脚手架技术,以支持手机上的Java编程
机译:面向静态验证JavaScript的实时编程环境
机译:用于成像生物标志物和放射性药物的研究发现和验证的PET兼容组织生物反应器:系统设计和概念验证研究
机译:用Java支持契约式设计
机译:用于Java子集的静态安全流量分析器
机译:用于JAVA智能卡的经过验证的程序代码下载系统,具有处理单元和验证器,用于验证代码并将代码提供给运营商,其中设计了单元和验证器,以便仅在验证后才将代码加载到运营商
机译:半导体器件设计验证支持设备,半导体器件设计验证支持程序,以及半导体器件设计验证支持方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。