首頁(yè) > 雜志
軟件學(xué)報(bào)(2011年06期)
Journal of Software
-
- 基本信息
-
：中國(guó)科學(xué)院軟件研究所;中國(guó)計(jì)算機(jī)學(xué)會(huì)
：月刊
：1000-9825
- 出版信息
-
： 信息科技
： 計(jì)算機(jī)軟件及計(jì)算機(jī)應(yīng)用
：7688篇
- 評(píng)價(jià)信息
-
：5.201
：2.815
：
目 錄
- 形式化方法與工具專刊前言
- 2011年全國(guó)高性能計(jì)算學(xué)術(shù)年會(huì)征文通知
- 策略驅(qū)動(dòng)的可靠嵌入式系統(tǒng)建模及分析方法
- Java指針指向分析優(yōu)化
- Object-Z規(guī)格說(shuō)明測(cè)試用例的自動(dòng)生成器
- 循環(huán)對(duì)稱化簡(jiǎn)及在三值模型上的擴(kuò)展
- 場(chǎng)景驅(qū)動(dòng)的服務(wù)行為調(diào)控
- 混合語(yǔ)義時(shí)間Petri網(wǎng)模型
- 軟件體系結(jié)構(gòu)動(dòng)態(tài)演化的條件超圖文法及分析
- 基于AOP的運(yùn)行時(shí)驗(yàn)證中的沖突檢測(cè)
- 基于自動(dòng)機(jī)理論的分布式實(shí)時(shí)調(diào)度分析工具
- AADL模型可靠性分析評(píng)估工具
- 時(shí)變網(wǎng)絡(luò)中國(guó)郵路問(wèn)題的時(shí)間自動(dòng)機(jī)模型
- P2P流量識(shí)別
- 屬性基加密機(jī)制
- 無(wú)證書公鑰密碼體制研究
- 可量化的移動(dòng)Ad Hoc網(wǎng)絡(luò)時(shí)空動(dòng)態(tài)特性評(píng)估方法
- 高效安全的基于身份的簽名方案
- WSANs中基于實(shí)時(shí)性約束的actor節(jié)點(diǎn)優(yōu)化部署策略
- 基于爬行器的大規(guī)模P2P IPTV測(cè)量
- 各向異性傳感環(huán)境下的移動(dòng)對(duì)象反監(jiān)控算法
- 基于不確定圖的網(wǎng)絡(luò)漏洞分析方法
- 《軟件學(xué)報(bào)》投稿指南
- 《軟件學(xué)報(bào)》高效能軟件及其設(shè)計(jì)、分析與實(shí)現(xiàn)方法專刊征文通知
