 |
|
|
|
 |
 |
 |
|
 |
|
 |
|
|
《软件学报》专刊/题一览表
| 发表期数 |
专刊/题名称 |
特约编辑 |
专刊出版状态 |
| 2021年第8期 |
泛在嵌入式智能系统 |
郭兵,王泉,邓庆绪,陈铭松,张凯龙 |
审稿过程中 |
| 2021年第7期 |
面向非确定性的软件质量保障方法与技术 |
陈俊洁,汤恩义,何啸,马晓星 |
征文过程中 |
| 2021年第6期 |
形式化方法与应用 |
田聪,邓玉欣,姜宇 |
征文过程中 |
| 2021年第5期 |
面向持续软件工程的微服务架构技术 |
张贺,王忠杰,陈连平,彭鑫 |
征文过程中 |
| 2021年第4期 |
面向领域的软件系统构造与质量保障 |
潘敏学,魏峻,崔展齐 |
征文过程中 |
| 2021年第3期 |
支撑人工智能的数据管理与分析技术 |
陈雷,王宏志,童咏昕,高宏 |
审稿过程中 |
| 2020年第10期 |
系统软件前沿进展 |
武延军,陈海波,包云岗,李玲 |
在线优先出版 |
| 2020年第9期 |
智能嵌入式系统 |
王泉,吴中海,陈仪香,苗启广 |
在线优先出版 |
| 2020年第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期 |
软件体系结构 |
梅宏,吕建 |
已出版 |
|
|
|
|
|
|
 |
|
|
|
|
 |
|
 |
|
 |
|
