Modeling in Event-B: System and Software Engineering
Author:   Jean-Raymond Abrial
Publisher:   Cambridge University Press
ISBN:  

9781139195881


Publication Date:   05 March 2013
Format:   Undefined
Availability:   Available To Order   Availability explained
We have confirmation that this item is in stock with the supplier. It will be ordered in for you and dispatched immediately.

Our Price $620.40 Quantity:  
Add to Cart

Share |

Modeling in Event-B: System and Software Engineering


Add your own review!

Overview

Full Product Details

Author:   Jean-Raymond Abrial
Publisher:   Cambridge University Press
Imprint:   Cambridge University Press (Virtual Publishing)
ISBN:  

9781139195881


ISBN 10:   1139195883
Publication Date:   05 March 2013
Audience:   Professional and scholarly ,  Professional & Vocational
Format:   Undefined
Publisher's Status:   Active
Availability:   Available To Order   Availability explained
We have confirmation that this item is in stock with the supplier. It will be ordered in for you and dispatched immediately.

Table of Contents

Prologue: faultless systems – yes we can!; Acknowledgements; 1. Introduction; 2. Controlling cars on a bridge; 3. A mechanical press controller; 4. A simple file transfer protocol; 5. The Event-B modeling notation and proof obligations rules; 6. Bounded re-transmission protocol; 7. Development of a concurrent program; 8. Development of electronic circuits; 9. Mathematical language; 10. Leader election on a ring-shaped network; 11. Synchronizing a tree-shaped network; 12. Routing algorithm for a mobile agent; 13. Leader election on a connected graph network; 14. Mathematical models for proof obligations; 15. Development of sequential programs; 16. A location access controller; 17. Train system; 18. Problems; Index.

Reviews

'This present book is the definitive treatment of the new B dialect, written by its creator. Unlike its classical B predecessor which is intended as a reference for the classical B methodology, the present volume is squarely aimed at teaching, though the considerably lighter theory of Event-B permits some of the chapters to act as a reference too.' logcom.oxfordjournals.org '... a rich and accessible book, demonstrating both the strengths and weaknesses of the use of Event-B, and containing varied and valuable case studies as its core. It is written in a pleasant colloquial style, with changes in the vocal tempo and tone leaping off the pages. ... should be seriously considered for introductory courses on formal modelling with associated proof.' Journal of Functional Programming


Author Information

Jean-Raymond Abrial is a researcher in the Department of Computer Science at ETH Zürich.

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions
Latest Reading Guide

RGJUNE2025

 

Shopping Cart
Your cart is empty
 Shopping cart
Mailing List

 

Sign up now