2009: j paul gibsont&msp-csc 4504 : langages formels et applicationsevent-b/intro.1 csc 4504 :...
TRANSCRIPT
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
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/
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/
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/
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
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
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
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.
2009: J Paul Gibson T&MSP-CSC 4504 : Langages formels et applications Event-B/Intro.9
2009: J Paul Gibson T&MSP-CSC 4504 : Langages formels et applications Event-B/Intro.10
Help Software Updates Available Software
2009: J Paul Gibson T&MSP-CSC 4504 : Langages formels et applications Event-B/Intro.11
B2Latex
Atelier B
ProBAnimator
2009: J Paul Gibson T&MSP-CSC 4504 : Langages formels et applications Event-B/Intro.12
http://wiki.event-b.org/index.php/B2Latex
2009: J Paul Gibson T&MSP-CSC 4504 : Langages formels et applications Event-B/Intro.13
http://www.atelierb.eu/index.php
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
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
2009: J Paul Gibson T&MSP-CSC 4504 : Langages formels et applications Event-B/Intro.16
Typical Use of Rodin – default Eclipse window layout