程序分析技术相关论文
程序的分析技术在许多领域有广泛的应用前景。例如，对学生程序的自动分析评价；利用程序分析比较工具来辅助软件版权的分析鉴别。但是......
跨国采购也称全球采购、国际采购，在近20年里，随着交通运输和信息通讯业的飞速发展，也得到了飞速发展，其主要的原因是由于发达国家的生......
对可信指针分析技术的定义和描述、指针分析对软件可信性的保障、可信指针分析属性以及该领域主要研究成果等方面进行了综述。通过......
模型检测是一种重要的自动化验证技术,使用该技术来保证软件安全性和可靠性已成为近年来的一个研究热点。提出的软件模型检测方法......
