内容标题×

内容
绑定机构

学习中心
个人中心 
社区
退出
简 繁
学习中心 应用 会员
这是测试提示消息
首页>期刊导航>软件学报>2023年08期
软件学报

软件学报Journal of Software 연건학보

CSCD(2023-2024)EI(2020)CSTPCD(2023)北大核心(2023)

期刊简介：《软件学报》是一本刊登计算机软件各领域原创性研究成果的期刊,所刊登的论文均经过严格的同行专家评议.《软件学报》主要面向全球华人计算机软件学者,致力于创办与世界计算机科学和软件技术发展同步的以中文为主的"中文国际软件学术期刊",为全球华人同行提供学术交流平台.

获奖情况：百种中国杰出学术刊物
主办单位： 中国科学院软件研究所 中国计算机学会
主编：李明树
出版周期：月刊
语种：中文
国际刊号：1000-9825
国内刊号：11-2560/TP
影响因子：3.12
文献量：6596
被引量：275453
下载量：826400
基金论文量：5135
电话：010-62562563
邮政编码：100190
地址：北京8718信箱
文章浏览特色栏目 统计分析期刊简介征稿启事DOI服务
年份刊次
正式出版
202401期02期03期04期05期202301期02期03期04期05期06期07期08期09期10期11期12期202201期02期03期04期05期06期07期08期09期10期11期12期202101期02期03期04期05期06期07期08期09期10期11期12期202001期02期03期04期05期06期07期08期09期10期11期12期201901期02期03期04期05期06期07期08期09期10期11期12期201801期02期03期04期05期06期07期08期09期10期11期12期201701期02期03期04期05期06期07期08期09期10期11期12期201601期02期03期04期05期06期07期08期09期10期11期12期201501期02期03期04期05期06期07期08期09期10期11期12期201401期02期03期04期05期06期07期08期09期10期11期12期201301期02期03期04期05期06期07期08期09期10期11期12期201201期02期03期04期05期06期07期08期09期10期11期12期201101期02期03期04期05期06期07期08期09期10期11期12期201001期02期03期04期05期06期07期08期09期10期11期12期200901期02期03期04期05期06期07期08期09期10期11期12期200801期02期03期04期05期06期07期08期09期10期11期12期200701期02期03期04期05期06期07期08期09期10期11期12期200601期02期03期04期05期06期07期08期09期10期11期12期200501期02期03期04期05期06期07期08期09期10期11期12期200401期02期03期04期05期06期07期08期09期10期11期12期200301期02期03期04期05期06期07期08期09期10期11期12期200201期02期03期04期05期06期07期08期09期10期11期12期200101期02期03期04期05期06期07期08期09期10期11期12期200001期02期03期04期05期06期07期08期09期10期11期12期199901期02期03期04期05期06期07期08期09期10期11期12期199801期02期03期04期05期06期07期08期09期10期11期12期
2023年08期
查看封面/目录/封底页
（已选择0条 )  清除 导出 共有26篇文献
约束求解与定理证明专题

约束求解与定理证明专题前言

蔡少伟 陈振邦 王戟 詹博华 赵永望3465-3466

基于不可满足核的近似逼近可达性分析

于忠祺 张小禹 李建文3467-3484

GC-MCR:有向图约束指导的并发缺陷检测方法

李硕川 王赞 马明旭 陈翔 赵英全 王海弛 王昊宇3485-3506

基于精化的TrustZone多安全分区建模与形式化验证

曾凡浪 常瑞 许浩 潘少平 赵永望3507-3526

L4虚拟内存子系统的形式化验证

章乐平 赵永望 王布阳 李悦欣 冯潇潇3527-3548

针对教学场景的ZFC集合论Coq形式化

万新熠 徐轲 曹钦翔3549-3573

强表达描述逻辑本体的后继式公理定位研究

李静 欧阳丹彤 叶育鑫3574-3586
系统软件与软件工程

基于核外计算的Datalog引擎设计与实现

张奕裕 王归航 左志强 李宣东3587-3604

用户特征请求分析与处理研究综述

牛菲菲 李传艺 葛季栋 骆斌3605-3636

可信执行环境访问控制建模与安全性分析

苗新亮 常瑞 潘少平 赵永望 蒋烈辉3637-3658

分享到微信朋友圈

打开微信，点击底部的“发现”，使用“扫一扫”即可将网页分享到我的朋友圈。