Difference between pages "D32 Mathematical Extensions" and "Event-B Language"
From Event-B
(Difference between pages)
Jump to navigationJump to searchimported>Nicolas m (→Available Documentation: removed old TODO) |
imported>WikiSysop |
||
Line 1: | Line 1: | ||
− | === | + | == Book: Modelling 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] | ||
+ | === Sample Chapters of the books === | ||
+ | This is available at event-b.org [http://www.event-b.org/abook.html] | ||
+ | === 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] | ||
+ | * Chapter 2: [http://deploy-eprints.ecs.soton.ac.uk/112/ Controlling Cars on a Bridge] | ||
+ | * Chapter 3: [http://deploy-eprints.ecs.soton.ac.uk/113/ A Mechanical Press Controller] | ||
+ | * Chapter 4: [http://deploy-eprints.ecs.soton.ac.uk/114/ File Transfer Protocol] | ||
+ | * Chapter 6: [http://deploy-eprints.ecs.soton.ac.uk/115/ The Bounded Re-transmission Protocol] | ||
+ | * Chapter 7: [http://deploy-eprints.ecs.soton.ac.uk/116/ Concurrent Program Development] | ||
+ | * Chapter 8: [http://deploy-eprints.ecs.soton.ac.uk/117/ Electronic Circuits Development] | ||
+ | * Chapter 10: [http://deploy-eprints.ecs.soton.ac.uk/118/ Leader Election on a Ring-shaped Network] | ||
+ | * Chapter 11: [http://deploy-eprints.ecs.soton.ac.uk/119/ Synchronizing Processes on a Tree Network] | ||
+ | * Chapter 12: [http://deploy-eprints.ecs.soton.ac.uk/120/ Routing Algorithm for Mobile Agent] | ||
+ | * Chapter 13: [http://deploy-eprints.ecs.soton.ac.uk/121/ The Leader Election Protocol (IEEE1394)] | ||
+ | * Chapter 15: [http://deploy-eprints.ecs.soton.ac.uk/122/ Sequential Program Development] | ||
+ | * Chapter 16: [http://deploy-eprints.ecs.soton.ac.uk/123/ Location Access Controller] | ||
+ | * Chapter 17: [http://deploy-eprints.ecs.soton.ac.uk/124/ Train System] | ||
− | + | == Event-B Language Documentation == | |
− | + | [[Event-B Modelling Language]] | |
− | + | [[Event-B Mathematical Language]] | |
− | + | [http://wiki.event-b.org/images/EventB-Summary.pdf Concise Summary of the Event B mathematical toolkit] by Ken Robinson | |
− | |||
− | |||
− | |||
− | + | [[Well-definedness in Event-B]] | |
− | + | ==Modelling Tips== | |
− | |||
− | |||
− | + | [[Structured_Types]] | |
− | + | [[Category:User documentation]] | |
+ | [[Category:Event-B]] | ||
− | == | + | == Proving Tips == |
− | + | == Miscellaneous == | |
− | * | + | * Jean-Raymond Abrial, "Faultless Systems: Yes We Can!," Computer, vol. 42, no. 9, pp. 30-36, Sept. 2009, [http://doi.ieeecomputersociety.org/10.1109/MC.2009.283 doi:10.1109/MC.2009.283]. |
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− |
Revision as of 16:23, 18 December 2009
Contents
Book: Modelling in Event-B: System and Software Engineering by Jean-Raymond Abrial
More information about the book is at Cambridge University Press website
Sample Chapters of the books
This is available at event-b.org [1]
Slides and Rodin Platform archives of the developments corresponding to chapters of the books
- Chapter 1: Introduction
- Chapter 2: Controlling Cars on a Bridge
- Chapter 3: A Mechanical Press Controller
- Chapter 4: File Transfer Protocol
- Chapter 6: The Bounded Re-transmission Protocol
- Chapter 7: Concurrent Program Development
- Chapter 8: Electronic Circuits Development
- Chapter 10: Leader Election on a Ring-shaped Network
- Chapter 11: Synchronizing Processes on a Tree Network
- Chapter 12: Routing Algorithm for Mobile Agent
- Chapter 13: The Leader Election Protocol (IEEE1394)
- Chapter 15: Sequential Program Development
- Chapter 16: Location Access Controller
- Chapter 17: Train System
Event-B Language Documentation
Concise Summary of the Event B mathematical toolkit by Ken Robinson
Modelling Tips
Proving Tips
Miscellaneous
- Jean-Raymond Abrial, "Faultless Systems: Yes We Can!," Computer, vol. 42, no. 9, pp. 30-36, Sept. 2009, doi:10.1109/MC.2009.283.