關(guān)于我們
書單推薦
新書推薦
|
形式化構(gòu)件裝配的領(lǐng)域算法構(gòu)造 讀者對象:讀者為應(yīng)用數(shù)學(xué)、算法研究等相關(guān)專業(yè)科研開發(fā)人員、工程技術(shù)人員及大專院校師生。
算法作為計算機(jī)軟件的核心,其可靠性和開發(fā)效率對于軟件的可信性及應(yīng)用發(fā)展具有重要意義。算法自動化是提高算法開發(fā)效率、保證算法可靠性的重要途徑之一。《BR》 本書結(jié)合著者所在學(xué)術(shù)團(tuán)隊已取得的軟件形式化方法PAR及其支撐平臺,將生成式程序設(shè)計的思想引入到算法開發(fā)中來,借助領(lǐng)域建模的概念和方法對置換、查找、序列比對類算法進(jìn)行抽象,建立了領(lǐng)域特定語言和算法生成模型,開發(fā)了領(lǐng)域算法高可靠構(gòu)件庫,自動構(gòu)件組裝生成了三十余個經(jīng)典的部分領(lǐng)域算法,并構(gòu)建了具備相應(yīng)生成能力的系統(tǒng),從而顯著提高了領(lǐng)域算法的開發(fā)效率和可靠性,并可望從方法學(xué)和實踐上為特定領(lǐng)域高可靠算法的開發(fā)提供新思路。
更多科學(xué)出版社服務(wù),請掃碼獲取。
你還可能感興趣
我要評論
|