书目

形式化构件装配的领域算法构造

内容简介

算法作为计算机软件的核心，其可靠性和开发效率对于软件的可信性及应用发展具有重要意义。算法自动化是提高算法开发效率、保证算法可靠性的重要途径之一。《形式化构件装配的领域算法构造》结合著者所在学术团队已取得的软件形式化方法PAR及其支撑平台，将生成式程序设计的思想引入到算法开发中来，借助领域建模的概念和方法对置换、查找、序列比对类算法进行抽象，建立了领域特定语言和算法生成模型，开发了领域算法高可靠构件库，自动构件组装生成了三十余个经典的部分领域算法，并构建了具备相应生成能力的系统，从而显著提高了领域算法的开发效率和可靠性，并可望从方法学和实践上为特定领域高可靠算法的开发提供新思路。

目录

—  END  —