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

 《软件学报》在线出版版权声明(2011.9.9版本)

在线出版,亦称网上预发表,指的是在纸质版印刷出版之前,文章的电子版本在网上提前发表,是本刊正式出版的形式之一,其内容的著作权受相关法律法规保护。在线出版的文章将在稍后的印刷版上刊发,印刷版上的文章可能在个别编排格式或个别文字表述上与在线出版的文章稍有不同,但文章整体内容是完全一致的。印刷版出版时将在文章的首页页脚处注明在线出版时间(jos在线出版时间: 年-月-日)。

在线出版的文章引用方式举例如下:
江健,诸葛建伟,段海新,吴建平.僵尸网络机理与防御技术.软件学报,http://www.jos.org.cn/1000-9825/4101.htm

本刊实行在线出版(网上预发表)是为了加快出版速度,提高传播时效,促进学科发展,为保护本刊及著作权人的合法权益,提醒使用者在使用在线出版的文章时,应正确引用和注明文献出处,并且不得侵犯本刊及著作权人依法享有的其他权利。否则,本刊将授权北京市鑫诺律师事务所依法追究侵权人的法律责任。

特此声明!

《软件学报》编辑部
2011年9月9日

李壮,刘磊,张桐搏,周文博,吕帅.基于局部搜索的并行扩展规则推理方法 [79]
任艳丽,徐丹婷,张新鹏,谷大武.可修改的区块链方案 [78]
张玉志,唐晓嘉.面向完美回忆的时态认知逻辑 [48]
于雷,赵晓芳,孙毅,张珺,张瀚文,王柯元,贾林鹏,金岩,胡斌.FCSP-Blockchain:基于区块链技术的公平合约交换协议 [318]
王丽萍,陈宏,杜洁洁,俞维,邱飞岳.偏好向量引导的高维目标协同进化算法 [239]
刘宇男,张姗姗,王春鹏,李广宇,杨健.基于级联密集型卷积神经网络的轮廓波变换域图像复原方法 [237]
曹羽中,吴国全,陈伟,魏峻,黄涛,王溯.一种基于录制/重放的Android应用众包测试方法 [222]
王占占,黄樟灿,侯改,唐荷花,李贺.基于择优协作策略的PES算法在整数规划问题上的应用 [185]
曾理宁,徐成,李仁发,杨帆,徐洪智.一种基于动态需求边界的混合关键级作业调度算法 [98]
康燕妮,张璇,王旭,李彤,唐子淇,牛家梅.软件需求变更管理系统动力学仿真建模 [90]
李阳,刘扬,刘国军,郭茂祖.基于对象位置线索的弱监督图像语义分割方法 [222]
苏畅,付泽,郑发魁,陈怡疆.基于动态分类的隐喻识别方法 [893]
王晓东,赵一宁,肖海力,迟学斌,王小宁.多节点系统异常日志流量模式检测方法 [87]
曹羽中,吴国全,陈伟,魏峻,黄涛,王溯.一种基于录制/重放的Android应用众包测试方法 [516]
李道丰,陈海强,梁家荣,赵搏文.标准模型下可证明安全的APK二次开发授权机制 [380]
王庆文,戚茜,程伟,李冬.一种基于节点度估计和静态博弈转发策略的Ad Hoc网络路由协议 [551]
苏铓,吴槟,付安民,俞研,张功萱.基于代理重加密的云数据访问授权确定性更新方案 [592]
邓齐林,邱天宇,申富饶,赵金熙.一种自适应在线核密度估计方法 [322]
汤小月,周康,王凯.空间上下文感知的用户提及行为建模与目标用户推荐 [116]
周宇,古睿航.Java API文档缺陷自动化检测方法 [2271]
蔡彦,曹玲微,赵靖.Adaptively generating high quality fixes for atomicity violations [1242]
郭郁,蔡彦,扬子江.AtexRace: across thread and execution sampling for in-house race detection [1245]
马皖王莹,陈林,张翔宇,周毓明,徐宝文.跨项目缺陷修复的实证分析 [1512]
汤恩义,张翔宇,Norbert Th. Muller,陈振宇,李宣东.随机方法与高精度计算相结合的软件数值错误自动检测与自动诊断 [1528]
朱家鑫,周明辉,AudrisMockus.开源代码贡献支撑工具效果的实证研究 [1780]
蒋炎岩,陈海骋,秦锋,许畅,马晓星,吕建.应用程序的崩溃一致性检测 [2047]
张洁,娄一翎,张令明,郝丹,张路,梅宏.同构回归测试 [2054]
蔡彦,张健,曹玲微,刘剑.可部署的数据竞争采样检测技术 [1880]
谢肖飞,陈碧欢,刘杨,Wei Le,李晓红.Proteus: Computing Disjunctive Loop Summary via Path Dependency Analysis [1948]
陈俊洁,白彦威,郝丹,张令明,张路,谢冰,梅宏.基于静态分析的测试预言数据选择 [2640]
王俊杰,王松,崔强,王青.基于局部的众测报告主动分类方法 [2198]
蔡彦.死锁的概率检测 [2501]
周明辉.度量商业投入对开源社区贡献者的影响 [2004]
. [3061]


 

京公网安备 11040202500064号

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