退出
我的积分:
中文文献批量获取
外文文献批量获取
邓幼强;
无;
程序; 文档; 软件工具; FOXDOC;
机译:程序分析工具的特殊部分:程序分析工具
机译:COBRA-HPA:用于执行混合程序分析的块生成工具
机译:RUGRAT:使用大型生成的随机基准测试应用程序评估程序分析和测试工具以及编译器
机译:生成动态程序分析工具
机译:自然语言程序分析:将自然语言处理与程序分析相结合,以改进软件维护工具。
机译:OnTheFly:一种用于基于文档的自动文本注释数据链接和网络生成的工具
机译:我们真的需要为系统编写文档吗? CasE工具 附加组件:生成器+编辑器,用于精确的文档
机译:数据流分析作为文档,断言生成,验证和错误检测中的辅助工具。
机译:基于编码标准文档生成程序分析规则
机译:程序分析/验证服务提供系统,相同,控制程序,控制程序,用于指向计算机的功能,程序分析/验证设备,程序分析/验证工具管理设备
机译:程序分析/验证服务提供系统,其控制方法,计算机可读非暂时性存储介质,程序分析/验证设备,程序分析/验证工具管理设备
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。