Can I read 形式化构件装配的领域算法构造 on EtoBox?

形式化构件装配的领域算法构造 by 石海鹤,周卫星著 is a book available to read on EtoBox.

What is 形式化构件装配的领域算法构造 about?

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

Author

石海鹤,周卫星著

Publisher

科学出版社

Published

2020

Language

ZH

ISBN

9787030668783

Updated

2026-03-25