Pub. Date:
Cambridge University Press
Modeling in Event-B: System and Software Engineering

Modeling in Event-B: System and Software Engineering

by Jean-Raymond Abrial


View All Available Formats & Editions
Current price is , Original price is $150.0. You
Select a Purchase Option
  • purchase options
    $122.25 $150.00 Save 18% Current price is $122.25, Original price is $150. You Save 18%.
  • purchase options

Product Details

ISBN-13: 9780521895569
Publisher: Cambridge University Press
Publication date: 06/30/2010
Pages: 612
Product dimensions: 7.60(w) x 9.70(h) x 1.40(d)

About the Author

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

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.

Customer Reviews

Most Helpful Customer Reviews

See All Customer Reviews