算法作為計(jì)算機(jī)軟件的核心，其可靠性和開發(fā)效率對(duì)于軟件的可信性及應(yīng)用發(fā)展具有重要意義。算法自動(dòng)化是提高算法開發(fā)效率、保證算法可靠性的重要途徑之一。《BR》　　本書結(jié)合著者所在學(xué)術(shù)團(tuán)隊(duì)已取得的軟件形式化方法PAR及其支撐平臺(tái)，將生成式程序設(shè)計(jì)的思想引入到算法開發(fā)中來(lái)，借助領(lǐng)域建模的概念和方法對(duì)置換、查找、序列比對(duì)類算法進(jìn)行抽象，建立了領(lǐng)域特定語(yǔ)言和算法生成模型，開發(fā)了領(lǐng)域算法高可靠構(gòu)件庫(kù)，自動(dòng)構(gòu)件組裝生成了三十余個(gè)經(jīng)典的部分領(lǐng)域算法，并構(gòu)建了具備相應(yīng)生成能力的系統(tǒng)，從而顯著提高了領(lǐng)域算法的開發(fā)效率和可靠性，并可望從方法學(xué)和實(shí)踐上為特定領(lǐng)域高可靠算法的開發(fā)提供新思路。

更多科學(xué)出版社服務(wù)，請(qǐng)掃碼獲取。