微信服务号
微信订阅号
《软件学报》专刊/题一览表
- 分享：
《软件学报》专刊/题一览表
| 发表期数 | 专刊/题名称 | 特约编辑 | 专刊出版状态 |
| 2026年第4期 | 高可信自适应机器学习 | 王熙照,张敏灵,曹付元 | 征文中 |
| 2025年第9期 | RISC-V系统软件及软硬协同技术 | 武延军,谢涛,侯锐,张科,宋威,邢明杰 | 第二轮评审中 |
| 2025年第8期 | 形式化方法与应用 | 陈明帅,田聪,熊英飞 | 第二轮评审中 |
| 2025年第7期 | 新兴软件与系统的可信赖性与安全 | 向剑文,陈厅,杨珉,周俊伟 | 第二轮评审中 |
| 2025年第6期 | 大模型下的软件质量保障 | 王赞,王莹,陈碧欢,姚远,张敏灵 | 第二 轮评审中 |
| 2025年第10期 | 抗量子密码与区块链应用 | 翁健,祝烈煌,赵运磊 | 第二轮评审中 |
| 2025年第3期 | 云原生数据库技术与系统 | 杜小勇,杨晓春,祝园园 | 在线出版 |
| 2024年第9期 | 形式化方法与应用 | 曹钦翔,宋富,詹乃军 | 已出版 |
| 2024年第8期 | 系统与网络软件安全 | 向剑文,陈厅,王浩宇,罗夏朴,杨珉 | 已出版 |
| 2024年第7期 | 面向复杂软件的缺陷检测与修复技术 | 张路,刘辉,姜佳君,王博 | 已出版 |
| 2024年第6期 | 编译技术与编译器设计 | 冯晓兵,郝丹,高耀清,左志强 | 已出版 |
| 2024年第5期 | 多模态协同感知与融合技术 | 孙立峰,宋新航,蒋树强,王莉莉,申恒涛 | 已出版 |
| 2024年第4期 | 绿色低碳机器学习研究与应用 | 封举富,俞扬,刘淇 | 已出版 |
| 2024年第3期 | 面向多模态数据的新型数据库技术 | 彭智勇,高云君,李国良,许建秋 | 已出版 |
| 2023年第10期 | 知识赋能的信息系统 | 高宏,陈华钧,赵翔,李瑞轩 | 已出版 |
| 2023年第9期 | AI软件系统工程化技术与规范 | 张贺,夏鑫,蒋振鸣,祝立明,李宣东 | 已出版 |
| 2023年第8期 | 约束求解与定理证明 | 蔡少伟,陈振邦,王戟,詹博华,赵永望 | 已出版 |
| 2023年第7期 | 形式化方法与应用 | 董云卫,刘关俊,毛晓光 | 已出版 |
| 2023年第6期 | 软件可信性与供应链安全前沿进展 | 向剑文,郑征,申文博,常瑞,田聪 | 已出版 |
| 2023年第5期 | 融合预训练技术的多模态学习研究 | 宋雪萌,聂礼强,申恒涛,田奇,黄华 | 已出版 |
| 2023年第3期 | 大数据治理的理论与技术 | 杜小勇,杨晓春,童咏昕 | 已出版 |
| 2022年第10期 | 智慧信息系统新技术 | 邢春晓,王鑫,张勇,于戈 | 已出版 |
| 2022年第9期 | 融合媒体环境下的媒体内容分析与信息服务技术 | 汪萌,张勇东,俞俊,张伟 | 已出版 |
| 2022年第8期 | 形式化方法与应用 | 陈立前,孙猛 | 已出版 |
| 2022年第7期 | 智能系统的分析和验证 | 明仲,张立军,秦胜潮 | 已出版 |
| 2022年第6期 | 定理证明理论与应用 | 曹钦翔,詹博华,赵永望 | 已出版 |
| 2022年第6期 | 系统软件安全 | 杨珉,张超,宋富,张源 | 已出版 |
| 2022年第5期 | 领域软件工程 | 汤恩义,江贺,陈俊洁,李必信,唐滨 | 已出版 |
| 2022年第4期 | 面向开放场景的鲁棒机器学习研究 | 陈恩红,李宇峰,邹权 | 已出版 |
| 2022年第3期 | 数据库系统新型技术 | 李国良,于戈,杨俊,范举 | 已出版 |
| 2021年第8期 | 泛在嵌入式智能系统 | 郭兵,王泉,邓庆绪,陈铭松,张凯龙 | 已出版 |
| 2021年第7期 | 面向非确定性的软件质量保障方法与技术 | 陈俊洁,汤恩义,何啸,马晓星 | 已出版 |
| 2021年第6期 | 形式化方法与应用 | 田聪,邓玉欣,姜宇 | 已出版 |
| 2021年第5期 | 面向持续软件工程的微服务架构技术 | 张贺,王忠杰,陈连平,彭鑫 | 已出版 |
| 2021年第4期 | 面向领域的软件系统构造与质量保障 | 潘敏学,魏峻,崔展齐 | 已出版 |
| 2021年第3期 | 支撑人工智能的数据管理与分析技术 | 陈雷,王宏志,童咏昕,高宏 | 已出版 |
| 2020年第10期 | 系统软件前沿进展 | 武延军,陈海波,包云岗,李玲 | 已出版 |
| 2020年第9期 | 智能嵌入式系统 | 王泉,吴中海,陈仪香,苗启广 | 已出版 |
| 2020年第8期 | 面向新兴系统的形式化建模与验证方法 | 陈振邦,冯新宇,刘志明 | 已出版 |
| 2021年第8期 | 国产复杂异构高性能数值软件的研制与测试 | 孙家昶,李会元 | 已出版 |
| 2020年第7期 | 多媒体内容的多维度相似性计算与搜索 | 蒋树强,刘青山,孙立峰,李波 | 已出版 |
| 2020年第6期 | 信息物理系统软件设计自动化 | 卜磊,陈铭松,朱祺,刘超 | 已出版 |
| 2020年第5期 | 系统软件构造与验证技术 | 赵永望,刘杨,王戟 | 已出版 |
| 2020年第4期 | 非经典条件下机器学习研究 | 高新波,黎铭,李天瑞 | 已出版 |
| 2020年第3期 | 人工智能赋能的数据管理、分析与系统 | 李战怀,于戈,杨晓春 | 已出版 |
| 2019年第10期 | 自然人机交互新进展 | 田丰,喻纯 | 已出版 |
| 2019年第10期 | 面向DevOps 的软件工程新技术 | 荣国平,白晓颖,岳涛 | 已出版 |
| 2019年第9期 | 区块链数据管理 | 于戈,牛保宁,金澈清 | 已出版 |
| 2019年第8期 | 面向自主安全可控的可信计算 | 张焕国,贾春福,林璟锵 | 已出版 |
| 2019年第7期 | 形式化验证 | 贺飞,张立军 | 已出版 |
| 2019年第6期 | 区块链与数字货币技术 | 陈文光,斯雪明 | 已出版 |
| 2019年第5期 | 智能化软件新技术 | 申富饶,李戈 | 已出版 |
| 2019年第4期 | 多媒体数据的知识关联与理解 | 蒋树强,刘青山,孙立峰,李波 | 已出版 |
| 2019年第3期 | 智能数据管理与分析技术 | 樊文飞,王国仁,王朝坤 | 已出版 |
| 2019年第1期特刊 | 软件学科发展回顾 | 梅宏,金芝,郝丹 | 已出版 |
| 2018年第11期 | 面向智能制造的业务过程管理与服务技术 | 王建民,刘建勋 | 已出版 |
| 2018年第10期 | 本体工程与知识图谱 | 漆桂林,欧阳丹彤,李涓子 | 已出版 |
| 2018年第9期 | 演化学习 | 俞扬,钱超 | 已出版 |
| 2018年第8期 | 数据驱动的软件智能化开发方法与技术 | 谢冰,魏峻,彭鑫,孙海龙 | 已出版 |
| 2018年第7期 | 面向隐私保护的新型技术与密码算法 | 薛锐,彭长根,黄欣沂,刘吉强,禹勇 | 已出版 |
| 2018年第6期 | 形式化方法的理论基础 | 傅育熙,李国强,田聪 | 已出版 |
| 2018年第5期 | 软件安全漏洞检测 | 王林章,陈恺,王戟 | 已出版 |
| 2018年第4期 | 多媒体大数据处理与分析 | 赵耀,李波,华先胜,文继荣,蒋刚毅,常冬霞 | |
| 2018年第3期 | 基于图结构的大数据分析与管理技术 | 林学民,杜小勇,李翠平 | 已出版 |
| 2017年第11期 | 复杂环境下的机器学习研究 | 胡清华,张道强,张长水 | 已出版 |
| 2017年第9期 | 信息系统安全 | 李舟军,李瑞轩,陈驰 | 已出版 |
| 2017年第8期 | 分布式云存储：理论、技术、系统 | 黄宇,吴维刚,赵军平 | 已出版 |
| 2017年第6期 | 大数据时代软件工程研究 | 刘璘,周明辉,尹刚 | 已出版 |
| 2017年第5期 | 形式化方法与应用 | 董威,赵建华,吕鸣松 | 已出版 |
| 2017年第4期 | 程序设计语言和系统前沿 | 冯新宇,陈海波 | 已出版 |
| 2017年第3期 | 大数据管理技术 | 崔斌,马帅 | 已出版 |
| 2016年第10期 | 快速三维建模技术 | 李华,汪国平,雍俊海 | 已出版 |
| 2016年第8期 | 数据开放与隐私管理 | 孟小峰,林东岱 | 已出版 |
| 2016年第7期 | 大数据可用性理论、方法和技术 | 李建中,杜小勇 | 已出版 |
| 2016年第6期 | 云计算安全 | 薛锐,任奎,张玉清,李晖,刘吉强,赵波,祝烈煌 | 已出版 |
| 2016年第5期 | 可视化及可视分析 | 沈汉威,张小龙,陈为,袁晓如,王文成 | 已出版 |
| 2016年第4期 | 基于搜索的软件工程研究 | 李征,巩敦卫,聂长海,江贺 | 已出版 |
| 2016年第3期 | 软件形式化方法与应用 | 詹乃军,王戟,李宣东 | 已出版 |
| 2015年第11期 | 大数据时代的机器学习研究 | 何晓飞,郭茂祖,张敏灵 | 已出版 |
| 2015年第4期 | 自适应软件系统：开发方法和运行支撑 | 吕建,王千祥,马晓星,毛新军 | 已出版 |
| 2015年第3期 | 业务过程管理技术 | 王建民,尹建伟,窦万春 | 已出版 |
| 2015年第2期 | 安全攸关软件系统建模与验证 | 李宣东,刘超,毛晓光 | 已出版 |
| 2014年第12期 | 社会计算：理论与方法 | 毛文吉,王飞跃,罗铁坚 | 已出版 |
| 2014年第10期 | 网络资源虚拟化技术 | 齐勇,罗英伟,孙毓忠 | 已出版 |
| 2014年第9期 | 大数据分析 | 陈恩红,于剑 | 已出版 |
| 2014年第8期 | 物联网建模与分析方法 | 沈苏彬,林闯 | 已出版 |
| 2014年第7期 | 绿色数据中心：方法和技术 | 臧斌宇 | 已出版 |
| 2014年第4期 | 大数据 | 孟小峰,高宏 | 已出版 |
| 2014年第2期 | 嵌入式系统软件设计方法与技术 | 李宣东,于戈 | 已出版 |
| 2013年第11期 | 统计学习与方法 | 高阳,陈松灿 | 已出版 |
| 2012年第11期 | Agent 理论与技术 | 刘大有 | 已出版 |
| 2012年第2期 | 面向高效能的软件及其设计、分析与实现方法 | 李毓忠,臧斌宇 | 已出版 |
| 2011年第6期 | 形式化方法与工具 | 王戟,李宣东 | 已出版 |
| 2010年第2期 | 可信软件的构造与演化 | 王怀民,徐洁 | 已出版 |
| 2009年第5期 | 医学影像处理与分析 | 田捷,白净,包尚联 | 已出版 |
| 2008年第11期 | 半监督学习 | 周志华 | 已出版 |
| 2008年第8期 | 软件可视化和信息可视化 | 张康,吕建 | 已出版 |
| 2008年第5期 | Internet环境下基于构件的软件理论与方法 | 何积丰,李宣东 | 已出版 |
| 2008年第2期 | Deep Web数据集成 | 孟小峰,于戈 | 已出版 |
| 2007年第12期 | 面向服务的计算 | 何积丰,金芝,李宣东 | 已出版 |
| 2007年第8期 | 面向互联网资源共享的虚拟计算环境 | 卢锡城,怀进鹏 | 已出版 |
| 2007年第5期 | 无线传感器网络 | 李建中 | 已出版 |
| 2006年第11期 | 网格计算 | 金海,郑纬民 | 已出版 |
| 2006年第6期 | 软件体系结构 | 梅宏,吕建 | 已出版 |
发布日期:2015-04-08浏览次数:
联系方式
- 《软件学报 》
- 主办单位：中国科学院软件研究所
中国计算机学会 - 邮编：100190
- 电话：010-62562563
- 电子邮箱：jos@iscas.ac.cn
- 网址：https://www.jos.org.cn
- 刊号：ISSN 1000-9825
- CN 11-2560/TP
- 国内定价：70元
您是第位访问者
版权所有：中国科学院软件研究所 京ICP备05046678号-3
地址：北京市海淀区中关村南四街4号,邮政编码：100190
电话：010-62562563 传真：010-62562533 Email：jos@iscas.ac.cn
技术支持：北京勤云科技发展有限公司
版权所有：中国科学院软件研究所 京ICP备05046678号-3
地址：北京市海淀区中关村南四街4号,邮政编码：100190
电话：010-62562563 传真：010-62562533 Email：jos@iscas.ac.cn
技术支持：北京勤云科技发展有限公司
