安徽理工大学图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

形式化构件装配的领域算法构造/石海鹤, 周卫星著

出版发行项:

北京:科学出版社,2020

ISBN及定价:

978-7-03-066878-3/CNY68.00

载体形态项:

119页:图;24cm

并列正题名:

Domain algorithm construction via formal components assembly

个人责任者:

石海鹤 著

个人责任者:

周卫星 著

学科主题:

电子计算机-算法设计

中图法分类号:

TP301.6

相关题名附注:

英文并列题名取自封面

书目附注:

有书目 (第110-117页)

提要文摘附注:

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

豆瓣简介：