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

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

TP301.6
科学出版社
2020-12
2020
2020
算法作为计算机软件的核心，其可靠性和开发效率对于软件的可信性及应用发展具有重要意义。算法自动化是提高算法开发效率、保证算法可靠性的重要途径之一。　　本书结合著者所在学术团队已取得的软件形式化方法PAR及其支撑平台，将生成式程序设计的思想引入到算法开发中来，借助领域建模的概