主页期刊介绍编委会编辑部服务介绍道德声明在线审稿编委办公编辑办公English
2020-2021年专刊出版计划 微信服务介绍 最新一期:2020年第6期
     
在线出版
各期目录
纸质出版
分辑系列
论文检索
论文排行
综述文章
专刊文章
美文分享
各期封面
E-mail Alerts
RSS
旧版入口
中国科学院软件研究所
  2015年软件学报:系统软件与软件工程分辑
投稿指南 问题解答 下载区 收费标准 在线投稿
文章编号标题作者年卷期:起始页码-结束页码复制
4562 一种状态事件故障树的时间特性分析方法 徐丙凤,黄志球,胡军,魏欧,李伟湋 2015,26(2):427-446
4589 一个浮点数学函数库测试平台 许瑾晨,黄永忠,郭绍忠,周蓓,赵捷 2015,26(6):1306-1321
4592 一种具有时间多样性的虚拟机软件保护方法 房鼎益,赵媛,王怀军,顾元祥,许广莲 2015,26(6):1322-1339
4598 一种高效的基于服务功能规约的服务选择方法 白琳,叶丹,魏峻,黄涛 2015,26(8):1886-1906
4607 一种面向移动应用的探索式服务组合方法 白琳,魏峻,黄翔,叶丹,黄涛 2015,26(9):2191-2211
4628 Apla中泛型约束机制研究 左正康,薛锦云 2015,26(6):1340-1355
4658 相关路径静态分析中协同式逆向推理方法 郭曦,王盼 2015,26(1):1-13
4671 测试含有标志变量程序的占优语句(集)选择 巩敦卫,钟超群,姚香娟 2015,26(8):1925-1936
4672 基于缺陷关联度的Markov模型软件优化测试策略 包晓安,谢晓鸣,张娜,曹建文,桂宁 2015,26(1):14-25
4685 多用户服务器程序自恢复系统 史椸,冯雨声,齐勇,孙伟 2015,26(8):1907-1924
4708 基于程序频谱的动态缺陷定位方法研究 陈翔,鞠小林,文万志,顾庆 2015,26(2):390-412
4711 基于事件处理函数的GUI测试用例集约简技术 陈军成,薛云志,陶秋铭,赵琛 2015,26(8):1871-1885
4713 中断驱动系统模型检验 周筱羽,顾斌,赵建华,杨孟飞,李宣东 2015,26(9):2212-2230
4738 基于关键迹和ASP的CSP模型检测 赵岭忠,翟仲毅,钱俊彦,郭云川 2015,26(10):2521-2544
4745 多目标优化的测试用例优先级在线调整策略 张娜,姚澜,包晓安,董萌,桂宁 2015,26(10):2451-2464
1 2 3 4
一共56 条记录  共4 页  第1 页   第一页 最后一页 跳转到第
 

京公网安备 11040202500064号

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