首页 > 杂志
软件学报(2025年08期)
Journal of Software
-
- 基本信息
-
:中国科学院软件研究所;中国计算机学会
:月刊
:1000-9825
- 出版信息
-
: 信息科技
: 计算机软件及计算机应用
: 8149 篇
- 评价信息
-
:5.277
:2.52
:
目 录
- 形式化方法与应用专题前言
- Fast-USYN:从酉矩阵到高质量量子电路的快速合成
- 神经网络的增量验证
- 单球驱动平衡机器人运动学和动力学形式化验证
- 基于记忆策略的元解释学习
- GhostFunc:一种针对Rust操作系统内核的验证方法
- 面向自动驾驶系统的场景建模及边缘关键场景生成
- 动态顺序统计树类结构的函数式建模及其自动化验证
- 基于下推自动机的同步数据流语言可信编译
- 基于混成自动机路径过滤与动态选择的CPS系统反例生成
- 面向Rust语言的形式化验证方法研究综述
- 因果时空语义驱动的深度强化学习抽象建模方法
- 局部搜索算法求解最小弱连通支配集问题
- 一种高效的求解最小负载着色问题的局部搜索算法
- 面向天河新一代超算的大规模平行城市交通仿真
- 基于BERT与自编码器的概念漂移恶意软件分类优化
- 基于有限状态机引导的网络协议模糊测试方法
- 面向代码注释生成任务的注释质量评价研究
- DRAMA:更新分布感知的学习型索引
- 面向数据稀缺场景的智能交通流量预测
- 基于原生链的跨Rollup机制研究
- 可编程数据平面DDoS检测与防御机制
- 鲁棒的前后向隐私联合对称可搜索加密方案
- 加权门限SM2签名方案
- MTTorch:面向MT-3000芯片和Transformer模型的PyTorch算子库实现与优化
- 操作系统内核权能访问控制的形式验证
- 《软件学报》投稿指南
- 《软件学报》2026年专刊/专题出版计划