《计算机学报》2018年第3期:软件技术

 

文章题目:无向图中子集反馈顶点集问题的精确算法
作者:周晓清1),2) 肖鸣宇1)
发表年:2018
发表期:3
全文:(PDF)下载

文章题目:一种面向软件缺陷预测的可容忍噪声的特征选择框架
作者:刘望舒1),2) 陈翔1),3) 顾庆1),2) 刘树龙1),2) 陈道蓄1),2)
发表年:2018
发表期:3
全文:(PDF)下载

文章题目:面向方面业务过程建模的正确性控制与检测
作者:1),2) 3) 1),2) 陈清毅1),2) 刘俊晖1),2)
发表年:2018
发表期:3
全文:(PDF)下载

文章题目:基于区间线性模版约束的程序分析
作者:姜加红尹帮虎陈立前
发表年:2018
发表期:3
全文:(PDF)下载

文章题目:用于视频内容认证的抗二次压缩水印算法
作者:付剑晶1),2) 陈德人1)
发表年:2018
发表期:3
全文:(PDF)下载

文章题目:面向二进制程序的空指针解引用错误的检测方法
作者:傅玉1) 邓艺1) 孙晓山1) 程亮1) 张阳1) 冯登国1),2)
发表年:2018
发表期:3
全文:(PDF)下载

文章题目:自动程序修复方法研究述评
作者:王赞1) 郜健1) 陈翔2) 傅浩杰1) 樊向宇1)
发表年:2018
发表期:3
全文:(PDF)下载

文章题目:基于Petri网的批量迹与过程模型校准
作者:田银花1),2) 杜玉越1) 韩咚3) 刘伟1)
发表年:2018
发表期:3
全文:(PDF)下载

文章题目:面向管理的克隆代码研究综述
作者:苏小红 张凡龙
发表年:2018
发表期:3
全文:(PDF)下载

文章题目:一种安全攸关嵌入式系统需求追踪方法
作者:王飞1) 黄志球1),2) 杨志斌1) 阚双龙1) 沈国华1) 陈光颖1)
发表年:2018
发表期:3
全文:(PDF)下载

文章题目:集成测试中的类测试顺序生成技术述评
作者:张艳梅1),2),3) 姜淑娟1),2) 1) 鞠小林4)
发表年:2018
发表期:3
全文:(PDF)下载

文章题目:基于PetriBehaviorInclusion的业务流程变化域融合分析
作者:方贤文1),2) 赵芳2) 方欢1) 刘祥伟1)
发表年:2018
发表期:3
全文:(PDF)下载

文章题目:算法能耗复杂度的定义与推导
作者:宋杰1) 马忠义1) 徐澍1) 鲍玉斌2) 于戈2)
发表年:2018
发表期:3
全文:(PDF)下载

文章题目:正态云模型研究回顾与展望
作者:杨洁1) 王国胤1) 刘群1) 郭毅可2) 刘悦2) 淦文燕3) 刘玉超4)
发表年:2018
发表期:3
全文:(PDF)下载