西安工业大学图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

Event-B建模:系统和软件工程/(法) 简-埃蒙德·阿布瑞尔著 裘宗燕译

出版发行项:

北京:人民邮电出版社,2019

ISBN及定价:

978-7-115-50899-7/CNY129.00

载体形态项:

462页:图;26cm

并列正题名:

Modeling in Event-B : system and software engineering

其它题名:

系统和软件工程

个人责任者:

(法) 阿布瑞尔 (Abrial, Jean-Raymond) 著

个人次要责任者:

裘宗燕 译

学科主题:

软件工程-系统建模

中图法分类号:

TP311.5

出版发行附注:

本书中文简体版由Cambridge University Press授权出版

相关题名附注:

英文并列题名取自封面

书目附注:

有书目

提要文摘附注:

本书以B形式化方法的一个扩展Event-B作为工具，展示了一种完成系统建模和设计的数学方法。 简-埃蒙德·阿布瑞尔（Jean-RaymondAbrial）是国际著名计算机科学家，曾任苏黎世联邦理工学院客座教授，他基于精化的思想提出了一种系统化的方法，教读者如何逐步构造出所期望的模型，并通过严格的证明完成对所构造模型做系统化的推理。本书将介绍如何根据实际需要去构造各种程序，以及如何更为普遍地构造各种离散系统的模型。本书提供了大量的示例，这些示例源自计算机系统开发的各个领域，包括顺序程序、并发程序和电子线路等。 本书还包含了大量具有不同难度的练习和开发项目。书中的每个例子都用Rodin平台工具集证明过。

豆瓣简介：