算法作為計算機軟件的核心，其可靠性和開發(fā)效率對于軟件的可信性及應(yīng)用發(fā)展具有重要意義。算法自動化是提高算法開發(fā)效率、保證算法可靠性的重要途徑之一�！禕R》　　本書結(jié)合著者所在學(xué)術(shù)團隊已取得的軟件形式化方法PAR及其支撐平臺，將生成式程序設(shè)計的思想引入到算法開發(fā)中來，借助領(lǐng)域建模的概念和方法對置換、查找、序列比對類算法進行抽象，建立了領(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ù)，請掃碼獲取。