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

2017年第28卷第5期目录

   
浏览其它刊期:  
  

本期目录

软件非功能需求权衡代价
  张璇,王旭,李彤,白川,康燕妮
  2017,28(5):1247-1270 [摘要(1466)]  [PDF 2.02 M (993)]
  
基于分层抽样的重叠深网数据源选择
  江俊彦,彭智勇,吴小莹,彭承晨,王敏
  2017,28(5):1271-1295 [摘要(1690)]  [PDF 2.01 M (1038)]
  
一种IP网络拥塞链路丢包率范围推断算法
  陈宇,周巍,段哲民,钱叶魁,赵鑫
  2017,28(5):1296-1314 [摘要(1194)]  [PDF 888.88 K (881)]
  
基于共享内存的智能无人车进程间消息异步传输机制
  陈存铜,赵君峤,叶晨,邓蓉,管林挺,李德毅
  2017,28(5):1315-1325 [摘要(1505)]  [PDF 2.34 M (1929)]
  

专刊文章

形式化方法与应用专题前言
  董威,赵建华,吕鸣松
  2017,28(5):1049-1050 [摘要(1662)]  [PDF 353.21 K (1756)]
  
常用循环摘要的自动生成方法及其应用
  翟娟,汤震浩,李彬,赵建华,李宣东
  2017,28(5):1051-1069 [摘要(2190)]  [PDF 1.07 M (1238)]
  
正则模型类的时态可定义性
  王善侠,马明辉,陈武,邓辉文
  2017,28(5):1070-1079 [摘要(1818)]  [PDF 615.63 K (1241)]
  
异步多进程时间自动机的可覆盖性问题
  刘立,李国强
  2017,28(5):1080-1090 [摘要(1834)]  [PDF 627.50 K (1465)]
  
不确定观测下离散事件系统的可诊断性
  文习明,余泉,常亮,王驹
  2017,28(5):1091-1106 [摘要(2006)]  [PDF 898.71 K (1279)]
  
面向收敛的并发程序执行轨迹静态简化方法
  常曦,薛建新,张卓,毛晓光
  2017,28(5):1107-1117 [摘要(2179)]  [PDF 684.44 K (1098)]
  
多机器人路径规划的安全性验证
  刘涛,王淑灵,詹乃军
  2017,28(5):1118-1127 [摘要(2278)]  [PDF 587.08 K (1400)]
  
一种面向CPS的自适应统计模型检测方法
  杜德慧,昝慧,姜凯强,程贝
  2017,28(5):1128-1143 [摘要(2228)]  [PDF 1.23 M (1437)]
  
一种面向CPS的控制应用程序协同验证方法
  张雨,董云卫,冯文龙,黄梦醒
  2017,28(5):1144-1166 [摘要(1948)]  [PDF 1.03 M (1439)]
  
面向动作的上下文感知应用的规约与运行时验证
  李晅松,陶先平,吕建,宋巍
  2017,28(5):1167-1182 [摘要(2313)]  [PDF 685.17 K (1320)]
  
基于通信的列车控制系统可信构造:形式化方法综述
  陈铭松,鲍勇翔,孙海英,缪炜恺,陈小红,周庭梁
  2017,28(5):1183-1203 [摘要(2211)]  [PDF 923.66 K (2863)]
  
基于Event-B的航天器内存管理系统形式化验证
  乔磊,杨孟飞,谭彦亮,蒲戈光,杨桦
  2017,28(5):1204-1220 [摘要(2082)]  [PDF 2.33 M (1299)]
  
peC语言的部分求值器及在编译器测试中的应用
  郭德贵,王冠成,吕帅,刘磊
  2017,28(5):1221-1232 [摘要(1923)]  [PDF 700.98 K (1659)]
  
可信编译器L2C的核心翻译步骤及其设计与实现
  尚书,甘元科,石刚,王生原,董渊
  2017,28(5):1233-1246 [摘要(2129)]  [PDF 772.48 K (1311)]
  
 

京公网安备 11040202500064号

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