软件学报杂志北大期刊CSCD期刊统计源期刊

软件学报 2013年第04期杂志 文档列表

软件学报杂志系统软件与软件工程

测试用例演化研究进展第663-674页

关键词: 软件演化；  回归测试；  测试用例选择；  测试用例修复；  测试用例集扩增；  

一种“用例＋控例”驱动的软件分析与设计方法第675-695页

关键词: 软件可信性；  可信性需求；  需求分析；  系统设计；  

考虑失效恢复的组合服务性能建模与分析第696-714页

关键词: 组合服务；  分散执行；  失效；  恢复；  交互；  排队petri网；  

Radl形式规格说明相对正确性研究第715-729页

关键词: 形式规格说明；  相对正确性；  确认；  扩展的逻辑系统；  辅助证明算法；  

软件迷惑变换的鲁棒性量化评价第730-748页

关键词: 代码迷惑；  迷惑变换；  反向工程；  软件保护；  复杂性度量；  

考虑测试工作量与覆盖率的软件可靠性模型第749-760页

关键词: 软件可靠性建模；  测试覆盖率；  测试工作量；  非齐次泊松过程；  

软件学报杂志数据库技术

数据库物理结构优化技术第761-780页

关键词: 物理结构；  优化；  推荐；  工作负荷；  抽样；  如果假设分析；  组合爆炸；  

Web数据源选择技术第781-797页

关键词: 数据集成；  web数据源；  文本；  结构化与半结构化；  源摘要；  

面向领域的学术文献检索框架第798-809页

关键词: 非负矩阵分解；  随机游走；  文献检索；  引用网络；  链接分析；  

一种面向关系型数据的可视质量分析方法第810-824页

关键词: 信息可视化；  可视分析；  人机交互；  数据质量；  

软件学报杂志计算机网络与信息安全

蜜罐技术研究与应用进展第825-842页

关键词: 网络安全；  蜜罐；  蜜网；  蜜场；  威胁监测；  恶意代码；  

网页木马机理与防御技术第843-858页

关键词: 网页木马；  客户端攻击；  被挂马网页；  混淆；  内嵌链接；  

基于变方差概率模型和进化计算的WSN定位算法第859-872页

关键词: 传感器网络；  rss定位；  概率模型；  变化方差；  进化算法；  

第15届国际信息与通信安全会议（ICICS2013）征稿通知第872-872页

关键词: 信息安全；  国际会议；  安全会议；  征稿通知；  通信；  cs系列；  学术交流；  安全学科；  

传感器网络中基于随机混淆的组密钥管理机制第873-886页

关键词: 无线传感器网络；  组密钥管理；  节点俘获；  秘密共享；  随机混淆；