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

更多科學出版社服務，請掃碼獲取。