HI，欢迎来到学术之家，发表咨询：400-888-7501  订阅咨询：400-888-7502  股权代码  102064
经营许可 杂志订阅 支付方式
首页 期刊 杂志 SCI 发表 出版社
0
首页 论文大全 程序规约论文 列表
期刊分类
不限
期刊收录
不限
出版地区
不限
程序自动修复:关键问题及技术第244-265页
关键词: 程序自动修复  静态分析  程序规约  补丁生成  测试集  
2019年第02期 《软件学报》
形式化方法B及其程序规约机理第16-18页
关键词: 形式化方法b  程序规约  抽象机  程序设计  
2004年第16期 《计算机工程》
程序规约变换技术在程序设计中的应用第463-465页
关键词: 程序规约  变换技术  算法程序  
2006年第06期 《江西科学》
基于递推技术的算法设计方法的应用研究第37-39页
关键词: 算法设计方法  递推关系  程序规约  
2012年第06期 《计算机与现代化》
期刊导航