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

2016年第27卷第3期目录

   
浏览其它刊期:  
  

本期目录

基于标签路径特征融合的在线Web新闻内容抽取
  吴共庆,胡骏,李莉,徐喆昊,刘鹏程,胡学钢,吴信东
  2016,27(3):714-735 [摘要(2033)]  [PDF 2.39 M (1600)]
  

专刊文章

软件形式化方法与应用专题前言
  詹乃军,王戟,李宣东
  2016,27(3):495-496 [摘要(2561)]  [PDF 364.87 K (2165)]
  
几何代数的高阶逻辑形式化
  马莎,施智平,李黎明,关永,张杰,Xiaoyu SONG
  2016,27(3):497-516 [摘要(2968)]  [PDF 476.76 K (2106)]
  
有界闭连通域上的非线性循环终止性分析
  李轶,冯勇
  2016,27(3):517-526 [摘要(2662)]  [PDF 1.11 M (1221)]
  
城市交通网络信号控制系统的实时演算模型
  孙景昊,关楠,邓庆绪,张鑫,杨丰源
  2016,27(3):527-546 [摘要(2640)]  [PDF 3.09 M (1843)]
  
基于变量访问序模式的中断数据竞争检测方法
  陈睿,杨孟飞,郭向英
  2016,27(3):547-561 [摘要(2381)]  [PDF 1.69 M (1859)]
  
安全苛刻系统测试语言中的测试设备协同语句
  吕江花,高世伟,马世龙,孙波,李先军
  2016,27(3):562-579 [摘要(2307)]  [PDF 1.93 M (1385)]
  
基于模拟关系的精化检测方法
  王婷,陈铁明,刘杨
  2016,27(3):580-592 [摘要(2523)]  [PDF 1.44 M (1471)]
  
面向条件判定覆盖的线性拟合制导测试生成
  汤恩义,周岩,欧建生,陈鑫
  2016,27(3):593-610 [摘要(2455)]  [PDF 2.13 M (1964)]
  
同步语言的时间可预测多线程代码生成方法
  杨志斌,赵永望,黄志球,胡凯,马殿富,Jean-Paul BODEVEIX,Mamoun FILALI
  2016,27(3):611-632 [摘要(2579)]  [PDF 2.35 M (1697)]
  
面向方面设计中干涉问题的分析工具
  陈鑫,黄超,张一帆,梅一鸣
  2016,27(3):633-644 [摘要(2507)]  [PDF 1.41 M (1386)]
  
运用栅栏函数验证连续系统的有界时间安全性
  甘庭,夏壁灿
  2016,27(3):645-654 [摘要(2392)]  [PDF 1.20 M (1487)]
  
不确定环境下智能大厦空调系统调度策略评估
  陈铭松,顾璠,徐思远,陈小红
  2016,27(3):655-669 [摘要(2901)]  [PDF 3.01 M (1714)]
  
二维逻辑PPTLSL的可满足性检查
  陆旭,段振华,田聪
  2016,27(3):670-681 [摘要(2501)]  [PDF 1.37 M (1276)]
  
面向无穷数据的形式模型综述
  宋富,吴志林
  2016,27(3):682-690 [摘要(2883)]  [PDF 1.04 M (1744)]
  

综述文章

基于排序学习的推荐算法研究综述
  黄震华,张佳雯,田春岐,孙圣力,向阳
  2016,27(3):691-713 [摘要(5521)]  [PDF 2.43 M (9071)]
  
绿色网络理论与技术研究
  张国强,许自取,刘真
  2016,27(3):736-759 [摘要(3863)]  [PDF 2.61 M (1828)]
  
公钥密码分析简介
  肖人毅
  2016,27(3):760-767 [摘要(3798)]  [PDF 948.75 K (2502)]
  
 

京公网安备 11040202500064号

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