主页期刊介绍编委会编辑部服务介绍道德声明在线审稿编委办公编辑办公English
2019-2020年专刊出版计划 微信服务介绍 最新一期:2019年第3期
     
在线出版
各期目录
纸质出版
分辑系列
论文检索
论文排行
综述文章
专刊文章
美文分享
各期封面
E-mail Alerts
RSS
旧版入口
中国科学院软件研究所
  
投稿指南 问题解答 下载区 收费标准 在线投稿
 

2013年第24卷第4期目录

   
浏览其它刊期:  
  

本期目录

一种“用例+控例”驱动的软件分析与设计方法
  刘春,张伟,赵海燕,金芝
  2013,24(4):675-695 [摘要(2482)]  [PDF 1021.92 K (2930)]
  
考虑失效恢复的组合服务性能建模与分析
  顾军,罗军舟,曹玖新,李伟
  2013,24(4):696-714 [摘要(2090)]  [PDF 1013.10 K (2521)]
  
Radl 形式规格说明相对正确性研究
  王昌晶,薛锦云
  2013,24(4):715-729 [摘要(2033)]  [PDF 824.03 K (2237)]
  
软件迷惑变换的鲁棒性量化评价
  付剑晶,王珂
  2013,24(4):730-748 [摘要(2089)]  [PDF 910.79 K (2323)]
  
考虑测试工作量与覆盖率的软件可靠性模型
  李海峰,王栓奇,刘畅,郑军,李震
  2013,24(4):749-760 [摘要(2752)]  [PDF 636.68 K (2847)]
  
面向领域的学术文献检索框架
  邱江涛,唐常杰,李庆
  2013,24(4):798-809 [摘要(2447)]  [PDF 636.12 K (2632)]
  
一种面向关系型数据的可视质量分析方法
  滕东兴,曾志荣,杨海燕,王宏安,戴国忠
  2013,24(4):810-824 [摘要(2257)]  [PDF 1.62 M (3125)]
  
基于变方差概率模型和进化计算的WSN 定位算法
  叶苗,王宇平
  2013,24(4):859-872 [摘要(2354)]  [PDF 873.45 K (2843)]
  
传感器网络中基于随机混淆的组密钥管理机制
  曾玮妮,林亚平,余建平,王雷
  2013,24(4):873-886 [摘要(2159)]  [PDF 818.92 K (2602)]
  
移动对等网络中自私节点的检测和激励机制
  曲大鹏,王兴伟,黄敏
  2013,24(4):887-899 [摘要(2096)]  [PDF 766.31 K (2601)]
  
Ad Hoc 网络节能型功率控制与拥塞控制的跨层优化
  张永敏,徐伟强,黄炯,汪亚明,舒挺,刘良桂
  2013,24(4):900-914 [摘要(2221)]  [PDF 802.28 K (2403)]
  

综述文章

测试用例演化研究进展
  张智轶,陈振宇,徐宝文,杨瑞
  2013,24(4):663-674 [摘要(6357)]  [PDF 735.36 K (4861)]
  
数据库物理结构优化技术
  崔跃生,张勇,曾春,冯建华,邢春晓
  2013,24(4):761-780 [摘要(5255)]  [PDF 999.54 K (4318)]
  
Web 数据源选择技术
  万常选,邓松,刘喜平,廖国琼,刘德喜,江腾蛟
  2013,24(4):781-797 [摘要(5179)]  [PDF 896.14 K (4449)]
  
蜜罐技术研究与应用进展
  诸葛建伟,唐勇,韩心慧,段海新
  2013,24(4):825-842 [摘要(5518)]  [PDF 1.09 M (9120)]
  
网页木马机理与防御技术
  张慧琳,邹维,韩心慧
  2013,24(4):843-858 [摘要(5299)]  [PDF 832.28 K (6571)]
  
 

京公网安备 11040202500064号

主办单位:中国科学院软件研究所 中国计算机学会
编辑部电话:+86-10-62562563 E-mail: jos@iscas.ac.cn
Copyright 中国科学院软件研究所《软件学报》版权所有 All Rights Reserved
本刊全文数据库版权所有,未经许可,不得转载,本刊保留追究法律责任的权利