Difference between revisions of "Event-B Language"

Revision as of 12:59, 30 August 2010

More information about the book is at Cambridge University Press website.

The Event-B introduced in Abrial's book in some ways differs from the Event-B implemented by Rodin. Some of those differences are listed here.

These are available at event-b.org.

Jean-Raymond Abrial, "Faultless Systems: Yes We Can!," Computer, vol. 42, no. 9, pp. 30-36, Sept. 2009, doi:10.1109/MC.2009.283.

@@ Line 1: / Line 1: @@
-== Book: Modelling in Event-B: System and Software Engineering by Jean-Raymond Abrial ==
+== Book: Modeling in Event-B: System and Software Engineering by Jean-Raymond Abrial ==
-More information about the book is at Cambridge University Press [http://www.cambridge.org/uk/catalogue/catalogue.asp?isbn=9780521895569 website]
+More information about the book is at Cambridge University Press [http://www.cambridge.org/uk/catalogue/catalogue.asp?isbn=9780521895569 website].
-=== Sample Chapters of the books ===
-This is available at event-b.org [http://www.event-b.org/abook.html]
+The Event-B introduced in Abrial's book in some ways differs from the Event-B implemented by Rodin.
+Some of those differences are listed [[How Rodin Deviates from Abrial's Book|here]].
+=== Sample Chapters of the Book ===
+These are available at [http://www.event-b.org/abook.html event-b.org].
 === Slides and Rodin Platform archives of the developments corresponding to chapters of the books ===
 * Chapter 1: [http://deploy-eprints.ecs.soton.ac.uk/111/ Introduction]