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

Online Public Access Catalogue

题名/责任者:

严密系统设计:方法、趋势与挑战/(法)(希) 约瑟夫·希发基思著 王强, 张继勇译著

出版发行项:

北京:电子工业出版社,2023

ISBN及定价:

978-7-121-46765-3 精装/CNY79.00

载体形态项:

195页:图 (部分彩图);25cm

个人责任者:

希发基思 (Sifakis, Joseph) 著

个人次要责任者:

王强 译著

个人次要责任者:

张继勇 译著

学科主题:

数字系统-系统设计

中图法分类号:

TP271

责任者附注:

约瑟夫·希发基思 (Joseph Sifakis), 国际知名计算机科学家, 2007年“图灵奖”获得者, 法国工程院院士, 欧洲科学院院士, 法国科学院院士, 美国人文和科学院院士, 美国工程院院士, 中国科学院外籍院士, 法国Verimag实验室创始主任, 瑞士洛桑联邦理工学院RiSD实验室创始主任。王强, 博士。中国人民解放军军事科学院副研究员, 本科及硕士毕业于国防科技大学, 博士师从Joseph Sifakis教授。张继勇, 博士。杭州电子科技大学特聘教授, 国家级人才专家, 先后在清华大学获得计算机科学专业学士和硕士学位, 博士毕业于瑞士洛桑联邦理工学院, 长期从事云计算、机器学习、数据科学和推荐系统等领域研究。

书目附注:

有书目

提要文摘附注:

本书阐述了一种新的面向数字化系统的严密设计方法, 通过采用语义连贯且可解释的模型驱动方法, 完成从系统设计需求到系统正确实现的映射和转化。该书首先介绍了当前计算系统设计的研究及实践现状, 并讨论了现行技术方法的局限性, 随后, 提出了克服有关局限性问题的技术途径。

豆瓣简介：