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

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

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

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

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

特此声明!

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

王戟,詹乃军,冯新宇,刘志明.形式化方法概貌 [505]
赵青松,曾庆凯,刘西蒙,徐焕良.基于可重随机化混淆电路的可验证计算 [808]
王海洋,段振华,田聪.MCMAS_APTL:用于验证多智能体系统的APTL模型检测器 [484]
王蕾,周卿,何冬杰,李炼,冯晓兵.面向Android应用隐私泄露检测的多源污点分析技术 [499]
高锦涛,李战怀,杜洪涛,刘文洁.一种面向分布式数据库的基于剪枝的并行排序合并连接策略 [473]
许志伟,陈波,张玉军.针对层次化名字路由的聚合机制研究 [390]
杨海峰,张勇波,黄裕梁,傅惠民.基于空间特征分区和前点约束的WKNN室内定位方法 [291]
马玉琨,毋立芳,简萌,刘方昊,杨洲.一种面向人脸活体检测的对抗样本生成算法 [823]
李轶,冯勇.多项式循环程序的秩函数探测 [318]
张东波,陈红磊,文登伟,汤红忠,许海霞.圆形图像抗旋转高效高鉴别特征提取与识别方法 [446]
张文,李自强,杜宇航,杨叶.MethodLocator:一种方法级别的细粒度软件缺陷定位方法 [532]
甘水滔,王林章,谢向辉,秦晓军,周林,陈左宁.一种基于程序功能标签切片的制导符号执行分析方法 [554]
杨明奇,李占山,张家晨.一种基于时间戳的简单表缩减弧相容算法 [408]
巩林明,李顺东,窦家维,王道顺.保密社交意愿探测 [377]
鲁宁,李峰,王尚广,史闻博,杨放春.一种层次化的反匿名联盟构建方法 [320]
张鹏程,王丽艳,吉顺慧,李雯睿.一种基于多元时间序列的Web Service QoS预测方法 [1222]
庞晓琼,王田琪,陈文俊,任孟琦.一个支持批处理和错误定位的数据拥有性证明方案 [382]
王娟娟,乔颖,熊金泉,王宏安.多核环境下基于图模型的实时规则调度方法研究 [979]
周宇,古睿航.Java API文档缺陷自动化检测方法 [1391]
蔡彦,曹玲微,赵靖.Adaptively generating high quality fixes for atomicity violations [698]
郭郁,蔡彦,扬子江.AtexRace: across thread and execution sampling for in-house race detection [737]
马皖王莹,陈林,张翔宇,周毓明,徐宝文.跨项目缺陷修复的实证分析 [895]
汤恩义,张翔宇,Norbert Th. Muller,陈振宇,李宣东.随机方法与高精度计算相结合的软件数值错误自动检测与自动诊断 [917]
朱家鑫,周明辉,AudrisMockus.开源代码贡献支撑工具效果的实证研究 [1203]
蒋炎岩,陈海骋,秦锋,许畅,马晓星,吕建.应用程序的崩溃一致性检测 [1297]
张洁,娄一翎,张令明,郝丹,张路,梅宏.同构回归测试 [1233]
蔡彦,张健,曹玲微,刘剑.可部署的数据竞争采样检测技术 [1146]
谢肖飞,陈碧欢,刘杨,Wei Le,李晓红.Proteus: Computing Disjunctive Loop Summary via Path Dependency Analysis [1395]
陈俊洁,白彦威,郝丹,张令明,张路,谢冰,梅宏.基于静态分析的测试预言数据选择 [1793]
王俊杰,王松,崔强,王青.基于局部的众测报告主动分类方法 [1382]
蔡彦.死锁的概率检测 [1631]
周明辉.度量商业投入对开源社区贡献者的影响 [1412]
. [2377]


 

京公网安备 11040202500064号

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