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

2018年第29卷第6期目录

   
浏览其它刊期:  
  

本期目录

服务组合安全隐私信息流静态分析方法
  彭焕峰,黄志球,刘林源,李勇,柯昌博
  2018,29(6):1739-1755 [摘要(1667)]  [PDF 1.76 M (1277)]
  
基于条件概率模型的缺陷定位方法
  舒挺,黄明献,丁佐华,王磊,夏劲松
  2018,29(6):1756-1769 [摘要(1497)]  [PDF 1.97 M (1531)]
  
基于包含度的子图匹配方法
  李瑞远,洪亮
  2018,29(6):1792-1812 [摘要(1745)]  [PDF 2.27 M (2005)]
  

专刊文章

形式化方法的理论基础专题前言
  傅育熙,李国强,田聪
  2018,29(6):1515-1516 [摘要(778)]  [PDF 295.58 K (646)]
  
互模拟准局部验证算法的扩展与实现
  郑晓琳,邓玉欣,付辰,雷国庆
  2018,29(6):1517-1526 [摘要(1179)]  [PDF 1.03 M (773)]
  
自动分析递归数据结构的归纳性质
  汤震浩,李彬,翟娟,赵建华
  2018,29(6):1527-1543 [摘要(1170)]  [PDF 1.61 M (802)]
  
自动合成数组不变式
  李彬,翟娟,汤震浩,汤恩义,赵建华
  2018,29(6):1544-1565 [摘要(1333)]  [PDF 2.23 M (688)]
  
向量加法系统验证问题研究综述
  张文博,龙环
  2018,29(6):1566-1581 [摘要(1351)]  [PDF 1.71 M (685)]
  
异构多智能体系统模型检查
  张业迪,宋富
  2018,29(6):1582-1594 [摘要(1126)]  [PDF 1.36 M (879)]
  
基于SMT的时钟约束语言CCSL的形式化分析方法与工具
  应云辉,张民
  2018,29(6):1595-1606 [摘要(1358)]  [PDF 1.35 M (867)]
  
消息传递的MSVL通信机制及其实现
  王小兵,郭文轩,段振华
  2018,29(6):1607-1621 [摘要(1227)]  [PDF 2.01 M (685)]
  
普适计算应用时空性质的运行时验证
  李晅松,陶先平,宋巍
  2018,29(6):1622-1634 [摘要(1104)]  [PDF 1.47 M (743)]
  
APTL公式的可满足性检查工具
  王海洋,段振华,田聪
  2018,29(6):1635-1646 [摘要(1191)]  [PDF 1.31 M (769)]
  
基于类型理论的领域数据建模和验证及案例
  乌尼日其其格,李小平,马世龙,吕江花
  2018,29(6):1647-1669 [摘要(1104)]  [PDF 2.71 M (767)]
  
一种嵌套中断系统的建模和分析方法
  崔进,段振华,田聪,张南
  2018,29(6):1670-1680 [摘要(1149)]  [PDF 1.29 M (693)]
  
考虑中断和上下文切换开销的响应时间分析
  于广良,杨孟飞
  2018,29(6):1681-1698 [摘要(1088)]  [PDF 2.15 M (1136)]
  
机器人关节通信总线系统的建模与验证
  孟瑶,李晓娟,关永,王瑞,张杰
  2018,29(6):1699-1715 [摘要(1290)]  [PDF 1.99 M (952)]
  

综述文章

API使用的关键问题研究
  李正,吴敬征,李明树
  2018,29(6):1716-1738 [摘要(1413)]  [PDF 2.41 M (1441)]
  
MapReduce与Spark用于大数据分析之比较
  吴信东,嵇圣硙
  2018,29(6):1770-1791 [摘要(2266)]  [PDF 2.25 M (3029)]
  
5G移动通信网络安全研究
  冯登国,徐静,兰晓
  2018,29(6):1813-1825 [摘要(1901)]  [PDF 1.55 M (4202)]
  
 

京公网安备 11040202500064号

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