2021年4期
刊物介紹
《軟件學(xué)報(bào)》是一本刊登計(jì)算機(jī)軟件各領(lǐng)域原創(chuàng)性研究成果的期刊,所刊登的論文均經(jīng)過(guò)嚴(yán)格的同行專家評(píng)議.《軟件學(xué)報(bào)》主要面向全球華人計(jì)算機(jī)軟件學(xué)者,致力于創(chuàng)辦與世界計(jì)算機(jī)科學(xué)和軟件技術(shù)發(fā)展同步的以中文為主的"中文國(guó)際軟件學(xué)術(shù)期刊",為全球華人同行提供學(xué)術(shù)交流平臺(tái).
軟件學(xué)報(bào)
面向領(lǐng)域的軟件系統(tǒng)構(gòu)造與質(zhì)量保障專題
- 面向領(lǐng)域的軟件系統(tǒng)構(gòu)造與質(zhì)量保障專題前言*
- 基于反例確認(rèn)的CPS 不確定性模型校準(zhǔn)*
- 安全關(guān)鍵異構(gòu)軟件混合建模及代碼生成方法*
- 基于環(huán)境建模的物聯(lián)網(wǎng)系統(tǒng)TAP 規(guī)則生成方法*
- 區(qū)塊鏈賦能的高效物聯(lián)網(wǎng)數(shù)據(jù)激勵(lì)共享方案*
- 時(shí)空軌跡數(shù)據(jù)驅(qū)動(dòng)的自動(dòng)駕駛場(chǎng)景元建模方法*
- 基于深度學(xué)習(xí)的混合模糊測(cè)試方法*
- 一種結(jié)構(gòu)信息增強(qiáng)的代碼修改自動(dòng)轉(zhuǎn)換方法*
- 融合代碼與文檔的軟件功能特征挖掘方法*
- 基于偶然正確性概率的錯(cuò)誤定位技術(shù)*
- 面向神經(jīng)機(jī)器翻譯系統(tǒng)的多粒度蛻變測(cè)試*