本文關(guān)鍵詞：《軟件學(xué)報(bào)》軟件形式化方法與應(yīng)用專刊征文通知，由筆耕文化傳播整理發(fā)布。

【摘要】：正形式化方法起步于對(duì)程序理論和語義的研究,歷經(jīng)50多年的發(fā)展,成為了計(jì)算機(jī)科學(xué)中的重要領(lǐng)域,它使用嚴(yán)格的數(shù)學(xué)方法,研究并發(fā)展軟、硬件系統(tǒng)的建模、設(shè)計(jì)、開發(fā)、驗(yàn)證與演化等技術(shù),為計(jì)算系統(tǒng)的正確性和可靠性提供了重要途徑。本�？瘜⑹珍泧鴥�(nèi)外軟件形式化方法研究領(lǐng)域的高水平研究成果,并探討其在相關(guān)領(lǐng)域的核心應(yīng)用,�？瘜⑴c中國計(jì)算機(jī)學(xué)會(huì)形式化方法專業(yè)委員會(huì)合作,收錄的論文不僅要通過正常評(píng)審程序而且要求在形式
【關(guān)鍵詞】： 形式化方法;《軟件學(xué)報(bào)》;中國計(jì)算機(jī)學(xué)會(huì);程序理論;評(píng)審程序;研究成果;計(jì)算機(jī)科學(xué);計(jì)算系統(tǒng);核心應(yīng)用;數(shù)學(xué)方法;
【分類號(hào)】：+
【正文快照】： 形式化方法起步于對(duì)程序理論和語義的研究,歷經(jīng)50多年的發(fā)展,成為了計(jì)算機(jī)科學(xué)中的重要領(lǐng)域.它使用嚴(yán)格的數(shù)學(xué)方法,研究并發(fā)展軟、硬件系統(tǒng)的建模、設(shè)計(jì)、+JT-發(fā)、驗(yàn)旺與演化等技術(shù),為計(jì)算系統(tǒng)的正確性和可靠性提供了重要途徑.本�？瘜⑹珍沇內(nèi)外軟件形式化方法研究領(lǐng)域的高水

【相似文獻(xiàn)】

中國期刊全文數(shù)據(jù)庫 前10條

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

2 柴振榮;形式化檢驗(yàn)的簡化[J];管理科學(xué)文摘;1999年05期

3 古天龍;形式化技術(shù)及其工業(yè)應(yīng)用:現(xiàn)狀與展望[J];桂林電子工業(yè)學(xué)院學(xué)報(bào);2000年04期

4 楊杰,鄭明春;形式化方法和對(duì)象技術(shù)的結(jié)合途徑研究[J];山東師大學(xué)報(bào)(自然科學(xué)版);2000年02期

5 鄧勇,丁峰,沈鈞毅;一種結(jié)構(gòu)化形式化說明的方法[J];小型微型計(jì)算機(jī)系統(tǒng);2002年06期

6 朱艷龍;;軟件形式化方法的研究[J];陰山學(xué)刊(自然科學(xué)版);2004年02期

7 潘紅艷,于全;用于通信網(wǎng)絡(luò)協(xié)議開發(fā)的形式化方法[J];計(jì)算機(jī)工程;2004年02期

8 陳長春,王昭順;形式化技術(shù)應(yīng)用于軟件逆工程的實(shí)踐研究[J];計(jì)算機(jī)工程與設(shè)計(jì);2005年05期

9 劉瑞成,張立臣;集成實(shí)時(shí)邏輯與Z++語言的形式化方法[J];計(jì)算機(jī)工程與設(shè)計(jì);2005年11期

10 陳宇;鄒盛榮;陽雪平;;形式化B方法數(shù)學(xué)基礎(chǔ)的實(shí)例研究[J];常熟理工學(xué)院學(xué)報(bào);2008年10期

中國重要會(huì)議論文全文數(shù)據(jù)庫 前7條

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

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

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

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

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

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

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

中國重要報(bào)紙全文數(shù)據(jù)庫 前1條

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

中國博士學(xué)位論文全文數(shù)據(jù)庫 前7條

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

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

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

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

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

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

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

中國碩士學(xué)位論文全文數(shù)據(jù)庫 前10條

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

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

3 王祥兵;形式化方法的理論及其影響[D];貴州大學(xué);2009年

4 郭忠偉;神經(jīng)內(nèi)分泌復(fù)雜系統(tǒng)的形式化研究[D];揚(yáng)州大學(xué);2009年

5 王曉帆;基于模糊數(shù)學(xué)的形式化開發(fā)方法研究[D];西安理工大學(xué);2003年

6 閔洪軍;軟件工程中形式化方法研究[D];浙江大學(xué);2006年

7 張楊;UML模型形式化轉(zhuǎn)換及驗(yàn)證的研究[D];太原理工大學(xué);2013年

8 匡春臨;并發(fā)系統(tǒng)的形式化技術(shù)研究[D];華僑大學(xué);2008年

9 白銳;ATP系統(tǒng)形式化開發(fā)方法的研究[D];蘭州交通大學(xué);2014年

10 解方;從UML建模到Z形式化規(guī)范的研究[D];太原理工大學(xué);2013年

  本文關(guān)鍵詞：《軟件學(xué)報(bào)》軟件形式化方法與應(yīng)用�？魑耐ㄖ�，，由筆耕文化傳播整理發(fā)布。

本文編號(hào)：332630