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

2015年第26卷第2期目录

   
浏览其它刊期:  
  

本期目录

一种状态事件故障树的时间特性分析方法
  徐丙凤,黄志球,胡军,魏欧,李伟湋
  2015,26(2):427-446 [摘要(2677)]  [PDF 1.06 M (2437)]
  

专刊文章

安全攸关软件系统建模与验证专题前言
  李宣东,刘超,毛晓光
  2015,26(2):179-180 [摘要(3606)]  [PDF 316.89 K (2954)]
  
基于形式化方法的航空电子系统检测
  李睿,连航,马世龙,黎涛
  2015,26(2):181-201 [摘要(3537)]  [PDF 2.27 M (2283)]
  
基于时间抽象状态机的AADL模型验证
  杨志斌,胡凯,赵永望,马殿富,Jean-Paul BODEVEIX
  2015,26(2):202-222 [摘要(3671)]  [PDF 1016.99 K (3085)]
  
基于时间STM的软件形式化建模与验证方法
  侯刚,周宽久,常军旺,王洁,李明楚
  2015,26(2):223-238 [摘要(3927)]  [PDF 1.36 M (2950)]
  
设备驱动程序可靠性和正确性保障方法与技术研究进展
  张一帆,黄超,欧建生,汤恩义,陈鑫
  2015,26(2):239-253 [摘要(3164)]  [PDF 730.53 K (2837)]
  
基于数据链的软件故障定位方法
  杨波,吴际,刘超
  2015,26(2):254-268 [摘要(3377)]  [PDF 658.18 K (3321)]
  
一种面向列车控制系统中安全攸关场景的测试用例自动生成方法
  陈鑫,姜鹏,张一帆,黄超,周岩
  2015,26(2):269-278 [摘要(3540)]  [PDF 631.75 K (2925)]
  
多处理器实时系统可调度性分析的UPPAAL模型
  代声馨,洪玫,郭兵,杨秋辉,黄蔚,徐保平
  2015,26(2):279-296 [摘要(3649)]  [PDF 1.61 M (3308)]
  
多分支单变量循环程序的终止性分析
  李轶,李传璨,吴文渊
  2015,26(2):297-304 [摘要(3432)]  [PDF 521.83 K (2579)]
  
面向安全攸关系统中小概率事件的统计模型检测
  杜德慧,程贝,刘静
  2015,26(2):305-320 [摘要(3833)]  [PDF 892.15 K (3203)]
  
面向航天嵌入式软件的形式化建模方法
  顾斌,董云卫,王政
  2015,26(2):321-331 [摘要(3766)]  [PDF 1.73 M (2806)]
  
同步数据流语言高阶运算消去的可信翻译
  刘洋,甘元科,王生原,董渊,杨斐,石刚,闫鑫
  2015,26(2):332-347 [摘要(3394)]  [PDF 829.76 K (2602)]
  
一种基于特征矩阵的软件脆弱性代码克隆检测方法
  甘水滔,秦晓军,陈左宁,王林章
  2015,26(2):348-363 [摘要(3632)]  [PDF 747.87 K (3136)]
  
一个机器检测的Micro-Dalvik虚拟机模型
  何炎祥,江南,李清安,张军,沈凡凡
  2015,26(2):364-379 [摘要(3455)]  [PDF 706.66 K (2758)]
  
信息物理融合系统控制软件的统计模型检验
  单黎君,周兴社,王宇英,赵雷,万丽景,乔磊,陈建新
  2015,26(2):380-389 [摘要(3409)]  [PDF 847.67 K (4382)]
  

综述文章

基于程序频谱的动态缺陷定位方法研究
  陈翔,鞠小林,文万志,顾庆
  2015,26(2):390-412 [摘要(6128)]  [PDF 843.69 K (3725)]
  
整数漏洞研究:安全模型、检测方法和实例
  孙浩,曾庆凯
  2015,26(2):413-426 [摘要(5357)]  [PDF 614.68 K (3650)]
  
 

京公网安备 11040202500064号

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