目录
面向新兴系统的形式化建模与验证方法专题
面向新兴系统的形式化建模与验证方法专题前言陈振邦;冯新宇;刘志明;2283-2284
一种包解析器硬件配置描述语言及其编译结构李璜华;李凌;赵宇;王生原;李翔宇;2285-2308
高阶类型化可验证应用系统体系结构建模及案例李小平;乌尼日其其格;马世龙;吕江花;2309-2335
PaxosStore中共识协议TPaxos的推导、规约与精化易星辰;魏恒峰;黄宇;乔磊;吕建;2336-2361
基于Coq的Paxos形式化建模与验证李亚男;邓玉欣;刘静;2362-2374
基于Coq的操作系统任务管理需求层建模及验证姜菁菁;乔磊;杨孟飞;杨桦;刘波;2375-2387
基本并行进程活性的限界模型检测谭锦豪;李国强;2388-2403系统软件与软件工程
机器学习赋能的软件自适应性综述张明悦;金芝;赵海燕;罗懿行;2404-2431
基于信息检索的软件缺陷定位技术研究进展张芸;刘佳琨;夏鑫;吴明晖;颜晖;2432-2452
代数次数的求解算法及其在SIMON-like算法中的应用任炯炯;李航;林键;陈少真;2453-2464模式识别与人工智能
维度语音情感识别研究综述李海峰;陈婧;马琳;薄洪健;徐聪;李洪伟;2465-2491
基于用户和产品表示的情感分析和评论质量检测联合模型吴璠;王中卿;周夏冰;周国栋;2492-2507
一种基于录制/重放的Android应用众包测试方法曹羽中;吴国全;陈伟;魏峻;黄涛;王溯;2508-2529
基于对称正定流形潜在稀疏表示分类算法陈凯旋;吴小俊;2530-2542数据库技术
大规模路网图下关键词覆盖最优路径查询优化郝晋瑶;牛保宁;康家兴;2543-2556
基于双层协同的联盟区块链隐私数据保护方法蔡亮;端豪;鄢萌;夏鑫;2557-2573计算机网络与信息安全
基于意图的网络研究综述李福亮;范广宇;王兴伟;刘树成;谢坤;孙琼;2574-2587计算机图形学与计算机辅助设计
面向医学图像分割的半监督条件生成对抗网络刘少鹏;洪佳明;梁杰鹏;贾西平;欧阳佳;印鉴;2588-2602操作系统
面向异构融合处理器的性能分析、优化及应用综述张峰;翟季冬;陈政;林甲灶;杜小勇;2603-2624
《软件学报》投稿指南2625
《软件学报》2020年专刊/专题出版计划2626