文章编号	标题	作者	年卷期:起止页码	复制
4381	子网树求解一般间隙和长度约束严格模式匹配	武优西,刘亚伟,郭磊,吴信东	2013,24(5):915-932
4354	量子最弱自由前置条件的交换性及其性质	雷红轩,席政军,李永明	2013,24(5):933-941
4371	基于模型的构件软件修改影响分析	陶传奇,李必信,JerryGAO,孙小兵	2013,24(5):942-960
4398	从用户需求到软件规约：一种问题变换的方法	李智,金芝	2013,24(5):961-976
4342	一种基于层次切片谱的软件错误定位技术	文万志,李必信,孙小兵,刘翠翠	2013,24(5):977-992
4261	自由选择工作流网的可靠完备化简规则集	张曼,段振华,王小兵	2013,24(5):993-1005
4252	基于网络的动态多文档文摘系统框架	刘美玲,任洪娥,于洋,郑德权,赵铁军	2013,24(5):1006-1021
4283	基于树核的隐式篇章关系识别	徐凡,朱巧明,周国栋	2013,24(5):1022-1035
4315	采用无标注语料的动词和形容词主观性评级	徐戈,蒙新泛,王厚峰	2013,24(5):1036-1050
4254	基于条件随机场方法的开放领域新词发现	陈飞,刘奕群,魏超,张云亮,张敏,马少平	2013,24(5):1051-1060
4264	PDDL 的ER 建模以及开发基于存储过程的规划器	饶东宁,蒋志华,姜云飞	2013,24(5):1061-1077
4390	基于OpenFlow的SDN技术研究	左青云,陈鸣,赵广松,邢长友,张国敏,蒋培成	2013,24(5):1078-1097
4271	基于本地信任系统的可靠动态源路由协议	孙玉星,谢立,陈一飞	2013,24(5):1098-1110
4266	5轮Salsa20的代数-截断差分攻击	关杰,张中亚	2013,24(5):1111-1126
4321	一种可扩展的用户界面描述语言	杜一,邓昌智,田丰,任磊,戴国忠	2013,24(5):1127-1142
4256	稀疏平滑特性的多正则化约束图像盲复原方法	唐述,龚卫国,仲建华	2013,24(5):1143-1154
4263	一种面向人脸识别的加权代价敏感局部保持投影	万建武,杨明,吉根林,陈银娟	2013,24(5):1155-1164
4379	测试用例演化研究进展	张智轶,陈振宇,徐宝文,杨瑞	2013,24(4):663-674
4275	一种“用例+控例”驱动的软件分析与设计方法	刘春,张伟,赵海燕,金芝	2013,24(4):675-695
4272	考虑失效恢复的组合服务性能建模与分析	顾军,罗军舟,曹玖新,李伟	2013,24(4):696-714