1. 2009: J Paul GibsonT&MSP-CSC 4504 : Langages formels et applicationsEvent-B/Intro.1 CSC 4504 : Langages formels et applications (La méthode Event-B) J Paul Gibson, A207 paul.gibson@it-sudparis.eu http://www-public.it-sudparis.eu/~gibson/Teaching/Event-B/ Introduction http://www-public.it-sudparis.eu/~gibson/Teaching/Event-B/Intro.pdf

2. 2009: J Paul GibsonT&MSP-CSC 4504 : Langages formels et applicationsEvent-B/Intro.2 http://www-public.it-sudparis.eu/~gibson/Teaching/Event-B/

3. 2009: J Paul GibsonT&MSP-CSC 4504 : Langages formels et applicationsEvent-B/Intro.3 http://www.event-b.org/ http://rodin.cs.ncl.ac.uk/

4. 2009: J Paul GibsonT&MSP-CSC 4504 : Langages formels et applicationsEvent-B/Intro.4 http://rodin.cs.ncl.ac.uk/ http://sourceforge.net/projects/rodi n-b-sharp/

5. 2009: J Paul GibsonT&MSP-CSC 4504 : Langages formels et applicationsEvent-B/Intro.5 http://sourceforge.net/projects/rodin-b-sharp/ http://sourceforge.net/project/showfiles.php?group_id=108850

6. 2009: J Paul GibsonT&MSP-CSC 4504 : Langages formels et applicationsEvent-B/Intro.6 http://sourceforge.net/project/showfiles.php?group_id=108850

7. 2009: J Paul GibsonT&MSP-CSC 4504 : Langages formels et applicationsEvent-B/Intro.7 http://sourceforge.net/project/showfiles.php?group_id=108850&package_id=181714

8. 2009: J Paul GibsonT&MSP-CSC 4504 : Langages formels et applicationsEvent-B/Intro.8 Rodin - Installation Overview for Windows (Linux and Mac installations should be similar) Latest Java (jre +jdk) from http://www.sun.com – because RODIN is built on Eclipse Platform Unzip rodin-0.9.2.1-win32.zip (to C:\Program Files, eg) Place the font file in C:\Windows\fonts Start Rodin (C:\Program Files\Rodin\Rodin.exe) and install plugins if instructed at the first Rodin (Eclipse) screen.

9. 2009: J Paul GibsonT&MSP-CSC 4504 : Langages formels et applicationsEvent-B/Intro.9

10. 2009: J Paul GibsonT&MSP-CSC 4504 : Langages formels et applicationsEvent-B/Intro.10 Help Software Updates Available Software

11. 2009: J Paul GibsonT&MSP-CSC 4504 : Langages formels et applicationsEvent-B/Intro.11 B2Latex Atelier B ProB Animator

12. 2009: J Paul GibsonT&MSP-CSC 4504 : Langages formels et applicationsEvent-B/Intro.12 http://wiki.event-b.org/index.php/B2Latex

13. 2009: J Paul GibsonT&MSP-CSC 4504 : Langages formels et applicationsEvent-B/Intro.13 http://www.atelierb.eu/index.php

14. 2009: J Paul GibsonT&MSP-CSC 4504 : Langages formels et applicationsEvent-B/Intro.14 http://www.methode-b.com/php/outils_b_fr.php

15. 2009: J Paul GibsonT&MSP-CSC 4504 : Langages formels et applicationsEvent-B/Intro.15 http://www.stups.uni-duesseldorf.de/ProB/overview.php

16. 2009: J Paul GibsonT&MSP-CSC 4504 : Langages formels et applicationsEvent-B/Intro.16 Typical Use of Rodin – default Eclipse window layout