首頁(yè) > 雜志
軟件學(xué)報(bào)(2025年08期)
Journal of Software
-
- 基本信息
-
主辦單位 :中國(guó)科學(xué)院軟件研究所;中國(guó)計(jì)算機(jī)學(xué)會(huì)出版周期 :月刊ISSN :1000-9825
- 出版信息
-
專輯名稱 : 信息科技專題名稱 : 計(jì)算機(jī)軟件及計(jì)算機(jī)應(yīng)用出版文獻(xiàn)量 :7688篇
- 評(píng)價(jià)信息
-
(2023版)復(fù)合影響因子 :5.201(2023版)綜合影響因子 :2.815該刊被以下數(shù)據(jù)庫(kù)收錄 :
目 錄
- 形式化方法與應(yīng)用專題前言
- Fast-USYN:從酉矩陣到高質(zhì)量量子電路的快速合成
- 神經(jīng)網(wǎng)絡(luò)的增量驗(yàn)證
- 單球驅(qū)動(dòng)平衡機(jī)器人運(yùn)動(dòng)學(xué)和動(dòng)力學(xué)形式化驗(yàn)證
- 基于記憶策略的元解釋學(xué)習(xí)
- GhostFunc:一種針對(duì)Rust操作系統(tǒng)內(nèi)核的驗(yàn)證方法
- 面向自動(dòng)駕駛系統(tǒng)的場(chǎng)景建模及邊緣關(guān)鍵場(chǎng)景生成
- 動(dòng)態(tài)順序統(tǒng)計(jì)樹類結(jié)構(gòu)的函數(shù)式建模及其自動(dòng)化驗(yàn)證
- 基于下推自動(dòng)機(jī)的同步數(shù)據(jù)流語(yǔ)言可信編譯
- 基于混成自動(dòng)機(jī)路徑過(guò)濾與動(dòng)態(tài)選擇的CPS系統(tǒng)反例生成
- 面向Rust語(yǔ)言的形式化驗(yàn)證方法研究綜述
- 因果時(shí)空語(yǔ)義驅(qū)動(dòng)的深度強(qiáng)化學(xué)習(xí)抽象建模方法
- 局部搜索算法求解最小弱連通支配集問(wèn)題
- 一種高效的求解最小負(fù)載著色問(wèn)題的局部搜索算法
- 面向天河新一代超算的大規(guī)模平行城市交通仿真
- 基于BERT與自編碼器的概念漂移惡意軟件分類優(yōu)化
- 基于有限狀態(tài)機(jī)引導(dǎo)的網(wǎng)絡(luò)協(xié)議模糊測(cè)試方法
- 面向代碼注釋生成任務(wù)的注釋質(zhì)量評(píng)價(jià)研究
- DRAMA:更新分布感知的學(xué)習(xí)型索引
- 面向數(shù)據(jù)稀缺場(chǎng)景的智能交通流量預(yù)測(cè)
- 基于原生鏈的跨Rollup機(jī)制研究
- 可編程數(shù)據(jù)平面DDoS檢測(cè)與防御機(jī)制
- 魯棒的前后向隱私聯(lián)合對(duì)稱可搜索加密方案
- 加權(quán)門限SM2簽名方案
- MTTorch:面向MT-3000芯片和Transformer模型的PyTorch算子庫(kù)實(shí)現(xiàn)與優(yōu)化
- 操作系統(tǒng)內(nèi)核權(quán)能訪問(wèn)控制的形式驗(yàn)證
- 《軟件學(xué)報(bào)》投稿指南
- 《軟件學(xué)報(bào)》2026年???專題出版計(jì)劃