首页 > 杂志

软件学报(2025年08期)
Journal of Software

  • 基本信息
  • 中国科学院软件研究所;中国计算机学会

    月刊

    1000-9825

  • 11-2560/TP

    北京市

    中文;

    16开

    82-367

    1990

  • 出版信息
  • 信息科技

    计算机软件及计算机应用

    8149 篇

  • 评价信息
  • 5.277

    2.52

  • 科学文摘(英)(2025)

    日本科学技术振兴机构数据库(日)(2025)

    文摘杂志(俄)(2020)

    工程索引(美)(2025)

    中国科学引文数据库来源期刊(2025-2026年度)

    科技期刊世界影响力指数报告(2025)来源期刊

    1992年(第一版),1996年(第二版),2000年版,2004年版,2008年版,2011年版,2014年版,2017年版,2020年版,2023年版

    中科双百期刊;中国科技期刊卓越行动计划入选项目;

目 录

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

扫码添加客服微信

联系客服