2019年7期
刊物介紹
《軟件學(xué)報(bào)》是一本刊登計(jì)算機(jī)軟件各領(lǐng)域原創(chuàng)性研究成果的期刊,所刊登的論文均經(jīng)過嚴(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)
軟件形式化驗(yàn)證專題
- 軟件形式化驗(yàn)證專題前言*
- 基于SVM的多項(xiàng)式循環(huán)程序秩函數(shù)生成*
- 非交互式Petri網(wǎng)可覆蓋性驗(yàn)證的高效實(shí)現(xiàn)*
- 基于實(shí)時(shí)自動(dòng)機(jī)的連續(xù)時(shí)段演算的驗(yàn)證*
- 面向?qū)崟r(shí)數(shù)據(jù)的CPS一體化建模方法 *
- 一種同步語(yǔ)言多線程代碼自動(dòng)生成工具*
- 同步數(shù)據(jù)流語(yǔ)言可信編譯器Vélus與L2C的比較*
- 具有多傳感器的CPS系統(tǒng)的攻擊檢測(cè)*
- 有關(guān)時(shí)間自動(dòng)機(jī)重置的若干問題的計(jì)算復(fù)雜性*