《Event-B 建模：系统和软件工程》
裘宗燕译原书：Jean-Raymond Abrial, Modeling in Event-B: System and Software Engineering, Cambridge University Press简介：这本面向实际的教科书适用于形式化方法的入门或高级课程。书中以B的一个扩展Event-B作为工具，展示了一种完成系统建模和设计的数学方法。 作者基于精化的思想提出一种系统化的方法，教授读者如何逐步构造出所期望的模型，并通过严格的证明，完成对所构造模型做系统化的推理。读者将学习如何根据实际需要去构造各种程序，以及更一般的，构造各种离散系统的模型。书中提供了大量的示例，它们来自计算机系统开发的各个领域，包括顺序程序、并发程序和电子线路等。 本书还包含了大量具有不同难度的练习和开发项目。书中的每个例子都用Rodin平台工具集证明过，该工具可以从www.event-b.org下载。 |
|
人民邮电出版社，2019年9月
| |
|
如对本书有任何意见和建议，请发email给我，谢谢！
| |
|---|---|
| 本页相关材料为裘宗燕所有，可以自由用于学习和教学活动，其他使用必须得到裘宗燕书面许可。 |
2019.9 |