期刊之家
首页
SCI期刊
核心目录
北核期刊
热门期刊
国内期刊
农业期刊
电子期刊
政法期刊
科技期刊
教育期刊
经济期刊
医学期刊
文学期刊
学术答疑
期刊知识
发表指导
职称新闻
SCI百科
SSCI知识问答
SCOPUS指南
EI发表指南
教材出版
学术著作
出版常识
论文翻译润色
国外出书
课题申报
指导服务
SCI指导
SSCI指导
EI指导
SCOPUS指导
AHCI指导
国际出书指导
国内出书指导
关于我们
《软件学报杂志》近10年内发表论文目录
当前位置:
期刊之家网
>
《软件学报杂志》
>
《软件学报杂志》范文目录
CAnalyzer: 一种面向C/C++源代码的软件成分分析技术
2026年第7期
面向Discord平台的开源软件实践者沟通实证研究
2026年第7期
PCLog:基于近端策略优化与行为克隆的自适应日志异常检测
2026年第7期
Python软件包库中C/C++外部语言调用的安全性分析
2026年第7期
基于异常检查点植入的软件缺陷定位方法
2026年第7期
基于个性化联邦学习的跨项目软件缺陷预测方法
2026年第7期
面向Web应用漏洞检测的多数据流静态分析方法
2026年第7期
基于文本表达特征分析的大语言模型协议交互抽取
2026年第8期
面向Linux内核开发知识的大模型问答能力评测
2026年第8期
面向软件测试领域知识问答的大模型评估
2026年第8期
SmartGen-AADL: 多智能体系统需求分析与AADL模型生成
2026年第8期
大语言模型智能体在软件系统根因分析中的应用综述
2026年第8期
基于大语言模型智能体的代码生成综述
2026年第8期
基于并行探索的大模型缺陷定位增强
2026年第8期
基于Auto-active与交互式集成的L4线程管理形式化验证
2026年第9期
模糊映射熵驱动的强化学习系统安全监控方法
2026年第9期
观察树驱动的确定性时间自动机主动学习
2026年第9期
基于大语言模型的Python到Dafny 代码翻译
2026年第9期
从设计到安全分析:异构模型转换与交叉验证
2026年第9期
数学分析机械化工程I:一元微积分形式化系统
2026年第9期
大语言模型赋能软件形式化验证研究综述
2026年第9期
一种基于按需切片计算的并行化程序分析框架
2026年第9期
混成精化逻辑
2026年第9期
AWTaint:面向Web应用漏洞检测的增量静态分析框架
2026年第9期
2949 条记录 118/118 页
第一页
上一页
上5页
116
117
118
获取完整文献 了解学术指导
填写需求
联系方式
立即免费获取
注:学术顾问会在1小时内联系您,请留意!