主页期刊介绍编委会编辑部服务介绍道德声明在线审稿编委办公English
2020-2021年专刊出版计划 微信服务介绍 最新一期:2020年第10期
     
在线出版
各期目录
纸质出版
分辑系列
论文检索
论文排行
综述文章
专刊文章
美文分享
各期封面
E-mail Alerts
RSS
旧版入口
中国科学院软件研究所
  2016年软件学报:系统软件与软件工程分辑
投稿指南 问题解答 下载区 收费标准 在线投稿
文章编号标题作者年卷期:起始页码-结束页码复制
4829 一种软件特征模型扩展和演化分析方法 胡洁,王青 2016,27(5):1212-1229
4834 ProMiner:系统性质驱动的双向一致性检验框架 葛徐骏,王玲,徐立华,郭建,朱惠彪 2016,27(7):1757-1771
4836 含有析取语义循环的不变式生成改进方法 潘建东,陈立前,黄达明,孙浩,曾庆凯 2016,27(7):1741-1756
4841 一种演化超图文法到状态转移系统的映射方法 徐洪珍,曾国荪,王晓燕 2016,27(7):1772-1788
4842 一种支持容错的任务并行程序设计模型 王一拙,陈旭,计卫星,苏岩,王小军,石峰 2016,27(7):1789-1804
4844 消息传递并行程序的弱变异测试及其转化 巩敦卫,陈永伟,田甜 2016,27(8):2008-2024
4845 串并行软件系统测试资源动态分配建模及求解 陆阳,岳峰,张国富,苏兆品,王永奇 2016,27(8):1964-1977
4847 基于服务交互行为的复杂服务协同网络建模 张锡哲,吕天阳,张斌 2016,27(2):231-246
4850 一种环境因素敏感的Web Service QoS监控方法 庄媛,张鹏程,李雯睿,冯钧,朱跃龙 2016,27(8):1978-1992
4858 基于二次定位策略的软件故障定位 宗芳芳,黄鸿云,丁佐华 2016,27(8):1993-2007
4915 一种基于不变量的软错误检测方法 马骏驰,汪芸 2016,27(2):219-230
4923 静态软件缺陷预测方法研究 陈翔,顾庆,刘望舒,刘树龙,倪超 2016,27(1):1-25
4929 基于特征模型的软件产品自动导出方法综述 于文静,赵海燕,张伟,金芝 2016,27(1):26-44
4936 大规模软件系统日志研究综述 廖湘科,李姗姗,董威,贾周阳,刘晓东,周书林 2016,27(8):1934-1947
4945 面向服务组合的用户隐私需求规约与验证方法 彭焕峰,黄志球,范大娟,章永龙 2016,27(8):1948-1963
1 2 3
一共36 条记录  共3 页  第1 页   第一页 最后一页 跳转到第
 

京公网安备 11040202500064号

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