广东职业技术学院图书馆书目检索系统

| 暂存书架(0) | 登录

MARC状态:审校 文献类型:中文图书 浏览次数:16

题名/责任者:
形式化构件装配的领域算法构造/石海鹤, 周卫星著
出版发行项:
北京:科学出版社,2020.12
ISBN及定价:
978-7-03-066878-3/CNY68.00
载体形态项:
119页:图;24cm
并列正题名:
Domain algorithm construction via formal components assembly
个人责任者:
石海鹤
个人责任者:
周卫星
学科主题:
电子计算机-算法设计
中图法分类号:
TP301.6
相关题名附注:
英文并列题名取自封面
书目附注:
有书目 (第110-117页)
提要文摘附注:
本书结合著者所在学术团队已取得的软件形式化方法PAR及其支撑平台, 将生成式程序设计的思想引入到算法开发中来, 借助领域建模的概念和方法对置换、查找、序列比对类算法进行抽象, 建立了领域特定语言和算法生成模型, 开发了领域算法高可靠构件库, 自动构件组装生成了三十余个经典的部分领域算法, 并构建了具备相应生成能力的系统, 从而显著提高了领域算法的开发效率和可靠性, 并可望从方法学和实践上为特定领域高可靠算法的开发提供新思路。
使用对象附注:
对软件开发人员和研究人员具有参考价值
全部MARC细节信息>>
索书号 条码号 年卷期 馆藏地 书刊状态 还书位置
TP301.6/91 00712315   南海校区书库 (图书定位请点击这里)    可借 南海校区书库
TP301.6/91 00712314   书库 (图书定位请点击这里)    可借 书库
TP301.6/91 00712316   书库 (图书定位请点击这里)    可借 书库
显示全部馆藏信息
借阅趋势

同名作者的其他著作(点击查看)
用户名:
密码:
验证码:
请输入下面显示的内容
  证件号 条码号 Email
 
姓名:
手机号:
送 书 地:
收藏到: 管理书架