CSC 4504 : Langages formels et applications (La méthode Event-B) J Paul Gibson, A207
description
Transcript of CSC 4504 : Langages formels et applications (La méthode Event-B) J Paul Gibson, A207
![Page 1: CSC 4504 : Langages formels et applications (La méthode Event-B) J Paul Gibson, A207](https://reader035.fdocuments.us/reader035/viewer/2022081416/56813add550346895da32740/html5/thumbnails/1.jpg)
2009: J Paul Gibson T&MSP-CSC 4504 : Langages formels et applications Event-B/Intro.1
CSC 4504 : Langages formels et applications
(La méthode Event-B)
J Paul Gibson, A207
http://www-public.it-sudparis.eu/~gibson/Teaching/Event-B/
Introduction
http://www-public.it-sudparis.eu/~gibson/Teaching/Event-B/Intro.pdf
![Page 2: CSC 4504 : Langages formels et applications (La méthode Event-B) J Paul Gibson, A207](https://reader035.fdocuments.us/reader035/viewer/2022081416/56813add550346895da32740/html5/thumbnails/2.jpg)
2009: J Paul Gibson T&MSP-CSC 4504 : Langages formels et applications Event-B/Intro.2
http://www-public.it-sudparis.eu/~gibson/Teaching/Event-B/
![Page 3: CSC 4504 : Langages formels et applications (La méthode Event-B) J Paul Gibson, A207](https://reader035.fdocuments.us/reader035/viewer/2022081416/56813add550346895da32740/html5/thumbnails/3.jpg)
2009: J Paul Gibson T&MSP-CSC 4504 : Langages formels et applications Event-B/Intro.3
http://www.event-b.org/http://rodin.cs.ncl.ac.uk/
![Page 4: CSC 4504 : Langages formels et applications (La méthode Event-B) J Paul Gibson, A207](https://reader035.fdocuments.us/reader035/viewer/2022081416/56813add550346895da32740/html5/thumbnails/4.jpg)
2009: J Paul Gibson T&MSP-CSC 4504 : Langages formels et applications Event-B/Intro.4
http://rodin.cs.ncl.ac.uk/
http://sourceforge.net/projects/rodin-b-sharp/
![Page 5: CSC 4504 : Langages formels et applications (La méthode Event-B) J Paul Gibson, A207](https://reader035.fdocuments.us/reader035/viewer/2022081416/56813add550346895da32740/html5/thumbnails/5.jpg)
2009: J Paul Gibson T&MSP-CSC 4504 : Langages formels et applications Event-B/Intro.5
http://sourceforge.net/projects/rodin-b-sharp/
http://sourceforge.net/project/showfiles.php?group_id=108850
![Page 6: CSC 4504 : Langages formels et applications (La méthode Event-B) J Paul Gibson, A207](https://reader035.fdocuments.us/reader035/viewer/2022081416/56813add550346895da32740/html5/thumbnails/6.jpg)
2009: J Paul Gibson T&MSP-CSC 4504 : Langages formels et applications Event-B/Intro.6
http://sourceforge.net/project/showfiles.php?group_id=108850
![Page 7: CSC 4504 : Langages formels et applications (La méthode Event-B) J Paul Gibson, A207](https://reader035.fdocuments.us/reader035/viewer/2022081416/56813add550346895da32740/html5/thumbnails/7.jpg)
2009: J Paul Gibson T&MSP-CSC 4504 : Langages formels et applications Event-B/Intro.7
http://sourceforge.net/project/showfiles.php?group_id=108850&package_id=181714
![Page 8: CSC 4504 : Langages formels et applications (La méthode Event-B) J Paul Gibson, A207](https://reader035.fdocuments.us/reader035/viewer/2022081416/56813add550346895da32740/html5/thumbnails/8.jpg)
2009: J Paul Gibson T&MSP-CSC 4504 : Langages formels et applications Event-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.
![Page 9: CSC 4504 : Langages formels et applications (La méthode Event-B) J Paul Gibson, A207](https://reader035.fdocuments.us/reader035/viewer/2022081416/56813add550346895da32740/html5/thumbnails/9.jpg)
2009: J Paul Gibson T&MSP-CSC 4504 : Langages formels et applications Event-B/Intro.9
![Page 10: CSC 4504 : Langages formels et applications (La méthode Event-B) J Paul Gibson, A207](https://reader035.fdocuments.us/reader035/viewer/2022081416/56813add550346895da32740/html5/thumbnails/10.jpg)
2009: J Paul Gibson T&MSP-CSC 4504 : Langages formels et applications Event-B/Intro.10
Help Software Updates Available Software
![Page 11: CSC 4504 : Langages formels et applications (La méthode Event-B) J Paul Gibson, A207](https://reader035.fdocuments.us/reader035/viewer/2022081416/56813add550346895da32740/html5/thumbnails/11.jpg)
2009: J Paul Gibson T&MSP-CSC 4504 : Langages formels et applications Event-B/Intro.11
B2Latex
Atelier B
ProBAnimator
![Page 12: CSC 4504 : Langages formels et applications (La méthode Event-B) J Paul Gibson, A207](https://reader035.fdocuments.us/reader035/viewer/2022081416/56813add550346895da32740/html5/thumbnails/12.jpg)
2009: J Paul Gibson T&MSP-CSC 4504 : Langages formels et applications Event-B/Intro.12
http://wiki.event-b.org/index.php/B2Latex
![Page 13: CSC 4504 : Langages formels et applications (La méthode Event-B) J Paul Gibson, A207](https://reader035.fdocuments.us/reader035/viewer/2022081416/56813add550346895da32740/html5/thumbnails/13.jpg)
2009: J Paul Gibson T&MSP-CSC 4504 : Langages formels et applications Event-B/Intro.13
http://www.atelierb.eu/index.php
![Page 14: CSC 4504 : Langages formels et applications (La méthode Event-B) J Paul Gibson, A207](https://reader035.fdocuments.us/reader035/viewer/2022081416/56813add550346895da32740/html5/thumbnails/14.jpg)
2009: J Paul Gibson T&MSP-CSC 4504 : Langages formels et applications Event-B/Intro.14
http://www.methode-b.com/php/outils_b_fr.php
![Page 15: CSC 4504 : Langages formels et applications (La méthode Event-B) J Paul Gibson, A207](https://reader035.fdocuments.us/reader035/viewer/2022081416/56813add550346895da32740/html5/thumbnails/15.jpg)
2009: J Paul Gibson T&MSP-CSC 4504 : Langages formels et applications Event-B/Intro.15
http://www.stups.uni-duesseldorf.de/ProB/overview.php
![Page 16: CSC 4504 : Langages formels et applications (La méthode Event-B) J Paul Gibson, A207](https://reader035.fdocuments.us/reader035/viewer/2022081416/56813add550346895da32740/html5/thumbnails/16.jpg)
2009: J Paul Gibson T&MSP-CSC 4504 : Langages formels et applications Event-B/Intro.16
Typical Use of Rodin – default Eclipse window layout