:Event-B建模系统和软件工程简-埃蒙德·阿

基本信息

书名：Event-B建模 系统和软件工程

定价：129.00元

作者：简-埃蒙德·阿布瑞尔（Jean-RaymondAbr

出版社：人民邮电出版社

出版日期：2019-09-01

ISBN：9787115508997

字数：

页码：462

版次：1

装帧：平装

开本：16开

商品重量：0.4kg

编辑推荐

Event-B是一种基于传统的谓词演算和定理证明的形式化语言,支持逐步精化地建立系统模型,适合于实时性强的嵌入式控制系统的建模，多用于工业软件系统的开发，本书为Event-B的开发者Jean-Raymond Abrial关于形式化方法的著作。n
1.作者是国际软件和软件理论专家，首次将“B方法”系统级的工控软件高安全保障解决方案引入中国，这是目前市场上的一本关于Event-B的中文书籍。n
2.书中包含了大量具有不同难度的练习和开发项目，方便读者对所学知识进行检验和实践。n
3.书中每个例子都用Rodin平台工具集证明过，因此书本的内容十分严谨。n
4.外文原版书是这一领域极具的教材书籍，由剑桥大学出版社出版，内容方面有很高的质量保障。

内容提要

这本实用的教科书适用于形式化方法的入门课程或高级课程。本书以B形式化方法的一个扩展Event-B作为工具，展示了一种完成系统建模和设计的数学方法。n
简-埃蒙德·阿布瑞尔（Jean-Raymond Abrial）是国际计算机科学家，曾任苏黎世联邦理工学院客座教授，他基于精化的思想提出了一种系统化的方法，教读者如何逐步构造出所期望的模型，并通过严格的证明完成对所构造模型做系统化的推理。本书将介绍如何根据实际需要去构造各种程序，以及如何更为普遍地构造各种离散系统的模型。本书提供了大量的示例，这些示例源自计算机系统开发的各个领域，包括顺序程序、并发程序和电子线路等。n
本书还包含了大量具有不同难度的练习和开发项目。书中的每个例子都用Rodin平台工具集证明过。n
本书适合作为高等院校计算机、软件工程、网络工程、信息安全等专业高年级本科生、研究生的教材，也可供相关领域的研究人员和技术人员参考。

目录

作者介绍

简-埃蒙德·阿布瑞尔（Jean-Raymond Abrial） 法国计算机科学家，国际知名的形式化方法和软件工程专家，欧洲科学院院士。20世纪80年代，他先后开发了的Z语言和B方法。2000年以后，他开发了Event-B方法，并领导一个国际团队，在欧盟项目支持下，为Event-B开发了公开免费的Rodin平台。这些语言和方法被国际形式化方法领域广泛接受和使用，并被开发工作者应用于软件和其他系统的实际开发工作。阿布瑞尔教授长期致力于推动和参与形式化方法的工业应用，指导了B方法在轨道交通领域的早开发工作，在相关领域做出了的贡献。阿布瑞尔教授与一些高校和研究单位有长期而密切的合作关系，并于2016年获得了中华人民共和国国务院颁发的“中华人民n
共和国国际科学技术合作奖”。

文摘

序言