|
关于我们
 书单推荐 新书推荐 |
形式化构件装配的领域算法构造 
定 价：68 元
9 7 6 8 6 7 8 0 7 3 8 0 3 读者对象:读者为应用数学、算法研究等相关专业科研开发人员、工程技术人员及大专院校师生。
算法作为计算机软件的核心，其可靠性和开发效率对于软件的可信性及应用发展具有重要意义。算法自动化是提高算法开发效率、保证算法可靠性的重要途径之一。《BR》 本书结合著者所在学术团队已取得的软件形式化方法PAR及其支撑平台，将生成式程序设计的思想引入到算法开发中来，借助领域建模的概念和方法对置换、查找、序列比对类算法进行抽象，建立了领域特定语言和算法生成模型，开发了领域算法高可靠构件库，自动构件组装生成了三十余个经典的部分领域算法，并构建了具备相应生成能力的系统，从而显著提高了领域算法的开发效率和可靠性，并可望从方法学和实践上为特定领域高可靠算法的开发提供新思路。
更多科学出版社服务，请扫码获取。 
你还可能感兴趣
我要评论
|
