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

2010年第21卷第2期目录

   
浏览其它刊期:  
  

专刊文章

可信软件的构造与演化分析专刊前言
  ****王怀民,徐洁
  2010,21(2):177-178 [摘要(7367)]  [PDF 233.26 K (5674)]
  
面向高可信软件的整数溢出错误的自动化测试
  卢锡城,李根,卢凯,张英
  2010,21(2):179-193 [摘要(7147)]  [PDF 1.76 M (5753)]
  
一种资源敏感的Web应用性能诊断方法
  王伟,张文博,魏峻,钟华,黄涛
  2010,21(2):194-208 [摘要(7083)]  [PDF 1.44 M (6674)]
  
一种路径敏感的静态缺陷检测方法
  肖庆,宫云战,杨朝红,金大海,王雅文
  2010,21(2):209-217 [摘要(6759)]  [PDF 745.49 K (5674)]
  
可扩展的多周期检查点设置
  慈轶为,张展,左德承,吴智博,杨孝宗
  2010,21(2):218-230 [摘要(7292)]  [PDF 1016.67 K (4319)]
  
基于Petri网的服务组合故障诊断与处理
  范贵生,虞慧群,陈丽琼,刘冬梅
  2010,21(2):231-247 [摘要(9441)]  [PDF 1.21 M (12047)]
  
基于动态描述逻辑的网构软件系统故障诊断
  王竹晓,杨鲲,史忠植
  2010,21(2):248-260 [摘要(6512)]  [PDF 1.03 M (5359)]
  
基于服务组合的可信软件动态演化机制
  曾晋,孙海龙,刘旭东,邓婷,怀进鹏
  2010,21(2):261-276 [摘要(7188)]  [PDF 1.44 M (8532)]
  
一种面向服务的可靠多媒体传输算法
  张胜,钱柱中,陆桑璐
  2010,21(2):277-286 [摘要(6544)]  [PDF 1.03 M (4779)]
  
一种从UML模型到可靠性分析模型的转换方法
  柳毅,麻志毅,何啸,邵维忠
  2010,21(2):287-304 [摘要(6169)]  [PDF 2.60 M (6280)]
  
字节码虚拟机的构造和验证
  董渊,任恺,王生原,张素琴
  2010,21(2):305-317 [摘要(5845)]  [PDF 945.12 K (5386)]
  
面向参数化LTL的预测监控器构造技术
  赵常智,董威,隋平,齐治昌
  2010,21(2):318-333 [摘要(5848)]  [PDF 1.06 M (4199)]
  
处理指针相等关系不确定的指针逻辑
  梁红瑾,张昱,陈意云,李兆鹏,华保健
  2010,21(2):334-343 [摘要(7532)]  [PDF 701.30 K (4235)]
  
一种关键任务系统自律可信性模型与量化分析
  王慧强,吕宏武,赵倩,董玺坤,冯光升
  2010,21(2):344-358 [摘要(5813)]  [PDF 1.01 M (5029)]
  
一种支持软件资源可信评估的框架
  蔡斯博,邹艳珍,邵凌霜,谢冰,邵维忠
  2010,21(2):359-372 [摘要(6140)]  [PDF 1.00 M (5651)]
  
基于TPM的运行时软件可信证据收集机制
  古亮,郭耀,王华,邹艳珍,谢冰,邵维忠
  2010,21(2):373-387 [摘要(5939)]  [PDF 1.10 M (7626)]
  
面向可信服务选取的基于声誉的推荐者发现方法
  潘静,徐锋,吕建
  2010,21(2):388-400 [摘要(6757)]  [PDF 1.18 M (6256)]
  
 

京公网安备 11040202500064号

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