收藏本站
软件学报
Journal of Software
主办: 中国科学院软件研究所
周期: 月刊
出版地:北京市
语种: 中文;
开本: 16开
ISSN 1000-9825
CN 11-2560/TP
邮发代号 82-367
创刊年:1990
中国期刊方阵来源刊
ASPT来源刊
中国期刊网来源刊
2004版核心期刊
同类杂志推荐
程序员
电脑编程技巧与维护
计算机辅助设计与图形学学报
计算机科学与探索
计算机应用与软件
计算机与现代化
图学学报
网络新媒体技术
智能计算机与应用
中国图象图形学报
中文信息学报
投稿  收藏本刊文章

软件学报

2018 年06期 目录
形式化方法的理论基础专题前言 傅育熙;李国强;田聪;
互模拟准局部验证算法的扩展与实现 郑晓琳;邓玉欣;付辰;雷国庆;
自动分析递归数据结构的归纳性质 汤震浩;李彬;翟娟;赵建华;
自动合成数组不变式 李彬;翟娟;汤震浩;汤恩义;赵建华;
向量加法系统验证问题研究综述 张文博;龙环;
异构多智能体系统模型检查 张业迪;宋富;
基于SMT的时钟约束语言CCSL的形式化分析方法与工具 应云辉;张民;
消息传递的MSVL通信机制及其实现 王小兵;郭文轩;段振华;
普适计算应用时空性质的运行时验证 李晅松;陶先平;宋巍;
APTL公式的可满足性检查工具 王海洋;段振华;田聪;
基于类型理论的领域数据建模和验证及案例 乌尼日其其格;李小平;马世龙;吕江花;
一种嵌套中断系统的建模和分析方法 崔进;段振华;田聪;张南;
考虑中断和上下文切换开销的响应时间分析 于广良;杨孟飞;
机器人关节通信总线系统的建模与验证 孟瑶;李晓娟;关永;王瑞;张杰;
API使用的关键问题研究 李正;吴敬征;李明树;
服务组合安全隐私信息流静态分析方法 彭焕峰;黄志球;刘林源;李勇;柯昌博;
基于条件概率模型的缺陷定位方法 舒挺;黄明献;丁佐华;王磊;夏劲松;
MapReduce与Spark用于大数据分析之比较 吴信东;嵇圣硙;
基于包含度的子图匹配方法 李瑞远;洪亮;
5G移动通信网络安全研究 冯登国;徐静;兰晓;
《软件学报》2017年已出版专刊
软件学报2018年各期:  [01] [02] [03] [04] [05] [06]
软件学报 其它年:   [2017]   [2016]   [2015]   [2014]   [2013]   [2012]   [2011]   [2010]   [2000]
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026