|
题名:
|
Event-B建模 / (法) 简-埃蒙德·阿布瑞尔著 , 裘宗燕译 |
|
ISBN:
|
978-7-115-50899-7 价格： CNY129.00 |
|
语种:
|
chi |
|
载体形态:
|
462页 图 26cm |
|
出版发行:
|
出版地： 北京 出版社： 人民邮电出版社 出版日期： 2019 |
|
内容提要:
|
本书以B形式化方法的一个扩展Event-B作为工具，展示了一种完成系统建模和设计的数学方法。 简-埃蒙德·阿布瑞尔（Jean-RaymondAbrial）是国际著名计算机科学家，曾任苏黎世联邦理工学院客座教授，他基于精化的思想提出了一种系统化的方法，教读者如何逐步构造出所期望的模型，并通过严格的证明完成对所构造模型做系统化的推理。本书将介绍如何根据实际需要去构造各种程序，以及如何更为普遍地构造各种离散系统的模型。本书提供了大量的示例，这些示例源自计算机系统开发的各个领域，包括顺序程序、并发程序和电子线路等。 本书还包含了大量具有不同难度的练习和开发项目。书中的每个例子都用Rodin平台工具集证明过。 |
|
主题词:
|
软件工程 系统建模 |
|
中图分类法:
|
TP311.5 版次： 5 |
|
其它题名:
|
系统和软件工程 |
|
主要责任者:
|
阿布瑞尔 著 |
|
次要责任者:
|
裘宗燕 译 |
|
索书号:
|
3 |