本文選題：形式化方法 + 《軟件學(xué)報》　； 參考：《軟件學(xué)報》2017年03期

【摘要】：正形式化方法主要研究如何把具有清晰數(shù)學(xué)基礎(chǔ)的模型、規(guī)范、分析以及驗證融入軟硬件設(shè)計開發(fā)的各個階段,是改善和確保計算機(jī)系統(tǒng)正確性和可靠性的重要途徑.在領(lǐng)域需求的推動下,形式化方法技術(shù)和工具方面的研究取得了顯著成效的同時,需要研究新的理論和方法來解決更復(fù)雜的計算機(jī)系統(tǒng)問題.本�？攸c關(guān)注"形式化方法的理論基礎(chǔ)",將收錄國內(nèi)外形式化方法的理論、模型、算法研究的高水平成果.�？瘜⑴c中
[Abstract]:The positive formal method mainly studies how to integrate the model, specification, analysis and verification with clear mathematical basis into all stages of software and hardware design and development, which is an important way to improve and ensure the correctness and reliability of computer system. Driven by the requirements of the domain, the research on formal methods, techniques and tools has achieved remarkable results. At the same time, it is necessary to study new theories and methods to solve more complex computer system problems. This special issue focuses on the "theoretical basis of formal methods", which will include high-level achievements in the research of formal methods, models and algorithms at home and abroad. The special issue will be related to
【分類號】：+

【相似文獻(xiàn)】

相關(guān)期刊論文 前10條

1 古天龍;董榮勝;;歐洲高校計算機(jī)專業(yè)的形式化方法課程教學(xué)[J];計算機(jī)教育;2008年10期

2 柴振榮;《編程中的形式化方法及其應(yīng)用》會議[J];管理科學(xué)文摘;1995年06期

3 鄭士貴;智能服務(wù)網(wǎng)絡(luò)形式化方法的模擬和實質(zhì)[J];管理科學(xué)文摘;1997年01期

4 姜利;孫永強;;形式化方法的發(fā)展及展望[J];計算機(jī)科學(xué);1998年02期

5 張廣泉;關(guān)于軟件形式化方法[J];重慶師范學(xué)院學(xué)報(自然科學(xué)版);2002年02期

6 鹿蕾;;形式化方法B的證明技術(shù)[J];現(xiàn)代電子技術(shù);2005年23期

7 陳澎;設(shè)計模式形式化方法分析和初步比較[J];計算機(jī)工程;2005年02期

8 李建華;李紅革;;形式化及其歷史發(fā)展[J];自然辯證法研究;2008年08期

9 曹源;唐濤;徐田華;穆建成;;形式化方法在列車運行控制系統(tǒng)中的應(yīng)用[J];交通運輸工程學(xué)報;2010年01期

10 ;《軟件學(xué)報》形式化方法和工具專刊征文通知[J];軟件學(xué)報;2010年07期

相關(guān)會議論文 前7條

1 李文健;;形式化的涵義及其認(rèn)識論本質(zhì)[A];1993年邏輯研究專輯[C];1993年

2 吳允曾;;關(guān)于形式化的幾個問題[A];金岳霖學(xué)術(shù)思想研究——金岳霖學(xué)術(shù)思想研討會論文集[C];1985年

3 鄭宇軍;石海鶴;薛錦云;;Spec#語言中的形式化特性[A];2005年全國理論計算機(jī)科學(xué)學(xué)術(shù)年會論文集[C];2005年

4 雷敏;雷友殉;;一種UML到SDL轉(zhuǎn)換方法的研究與應(yīng)用[A];2006通信理論與技術(shù)新進(jìn)展——第十一屆全國青年通信學(xué)術(shù)會議論文集[C];2006年

5 苗潔君;王克;;密碼模塊的形式化設(shè)計和驗證研究[A];第二十一次全國計算機(jī)安全學(xué)術(shù)交流會論文集[C];2006年

6 繆道期;;評審計算機(jī)安全等級[A];第二次計算機(jī)安全技術(shù)交流會論文集[C];1987年

7 趙曉峰;;城市軌道交通自主化信號系統(tǒng)全面創(chuàng)新實踐[A];中國系統(tǒng)工程學(xué)會第十八屆學(xué)術(shù)年會論文集——A12系統(tǒng)科學(xué)與系統(tǒng)工程理論在各個領(lǐng)域中的應(yīng)用研究[C];2014年

相關(guān)重要報紙文章 前1條

1 殷杰 安軍 山西大學(xué)科學(xué)技術(shù)哲學(xué)研究中心;21世紀(jì)科學(xué)哲學(xué)的關(guān)鍵詞:語境、科學(xué)理性與形式化[N];中國社會科學(xué)報;2011年

相關(guān)博士學(xué)位論文 前8條

1 劉艷;互聯(lián)網(wǎng)內(nèi)容分級服務(wù)技術(shù)標(biāo)準(zhǔn)體系的形式化設(shè)計與驗證[D];華中師范大學(xué);2015年

2 錢振江;安全操作系統(tǒng)形式化設(shè)計與驗證方法研究[D];南京大學(xué);2013年

3 劉強;設(shè)計模式的形式化研究及其EMF實現(xiàn)[D];華東師范大學(xué);2011年

4 張鵬;形式化方法在云計算中的應(yīng)用研究[D];吉林大學(xué);2014年

5 劉洋;網(wǎng)絡(luò)式軟件需求驗證的形式化方法研究[D];電子科技大學(xué);2013年

6 王邁;語言形式化原理[D];上海外國語大學(xué);2011年

7 胡靜;基于Pi-演算的Web服務(wù)形式化描述模型[D];天津大學(xué);2013年

8 周寧;代數(shù)化符號模擬驗證的應(yīng)用研究[D];北京交通大學(xué);2015年

相關(guān)碩士學(xué)位論文 前10條

1 王春曉;MDF連續(xù)平壓質(zhì)量控制形式化建模及優(yōu)化研究[D];東北林業(yè)大學(xué);2015年

2 王亞麗;面向機(jī)器人規(guī)劃的形式化研究[D];北京化工大學(xué);2015年

3 韓佳芮;基于Event-B和MAS的車站進(jìn)路聯(lián)鎖控制邏輯的形式化方法研究[D];蘭州交通大學(xué);2015年

4 徐世澤;基于Timed RAISE的RBC切換建模與分析[D];蘭州交通大學(xué);2015年

5 郭葉芳;電網(wǎng)控制系統(tǒng)軟件可靠性分析的形式化方法研究[D];華北電力大學(xué);2015年

6 溫晉杰;Z規(guī)范對國產(chǎn)化軟件工程實踐的探討[D];石家莊鐵道大學(xué);2016年

7 丁寧;基于要素投影的事件本體形式化方法及其在情感分析中的應(yīng)用[D];上海大學(xué);2016年

8 沈崗;基于UML的形式化框架及其在安全協(xié)議驗證中的應(yīng)用[D];天津大學(xué);2014年

9 Hamza I.Bangura;基于Z規(guī)格的軟件缺陷形式化方法[D];天津大學(xué);2010年

10 鐘琪;軟件分析模式的形式化研究[D];西南師范大學(xué);2004年

，

本文編號：1977519