首页 > 杂志

软件学报(2024年09期)
Journal of Software

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

    月刊

    1000-9825

  • 11-2560/TP

    北京市

    中文;

    16开

    82-367

    1990

  • 出版信息
  • 信息科技

    计算机软件及计算机应用

    7688篇

  • 4448356次

    301525次

  • 评价信息
  • 5.201

    2.815

  • INSPEC 科学文摘(英)(2024)

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

    Pж(AJ) 文摘杂志(俄)(2020)

    EI 工程索引(美)(2024)

    CSCD 中国科学引文数据库来源期刊(2023-2024年度)

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

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

    中科双百期刊;

目 录

  • 关于安全案例论证构建的综述
  • 完备神经网络验证加速技术综述
  • 基于交互式定理证明的并发程序验证工作综述
  • 舰载机弹药保障作业调度的形式化建模与验证
  • 基于优先级时间Petri网的实时嵌入式多核系统分析
  • 并发对象强可线性化性质的检测和验证
  • 基于DH标定的机器人正向运动学形式化验证
  • 微内核操作系统互斥量模块功能正确性的形式化验证
  • 基于形式化方法的区块链系统漏洞检测模型
  • 命令式动态规划类算法程序推导及机械化验证
  • Trie+结构函数式建模、机械化验证及其应用
  • 基于MTRDL的自动飞行系统模式需求建模与验证方法
  • 基于AADL的混合关键系统随机错误与突发错误安全性分析
  • Büchi自动机确定化分析工具
  • 基于胶囊异构图注意力网络的中文表格型数据事实验证
  • 基于IR-UWB的睡眠状态下人体呼吸波形检测方法
  • Pobe:一种基于生成式模型的分布外文本检测方法
  • 属性建模与课程学习相结合的属性级情感分类方法
  • 基于重要性采样的超图网络高效表示方法
  • 基于二部图的联合谱嵌入多视图聚类算法
  • 基于静态与动态学习需求感知的知识点推荐方法
  • 规则与概率相结合的不一致数据子集修复方法
  • 面向数据库配置优化的反事实解释方法
  • 形式化方法与应用专题前言
  • 《软件学报》投稿指南
客服微信二维码

扫码添加客服微信

联系客服