Presentation is loading. Please wait.

Presentation is loading. Please wait.

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.

Similar presentations


Presentation on theme: "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."— Presentation transcript:

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 Introduction

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

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

4 2009: J Paul GibsonT&MSP-CSC 4504 : Langages formels et applicationsEvent-B/Intro.4 n-b-sharp/

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

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

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

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 – because RODIN is built on Eclipse Platform Unzip rodin 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

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

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

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

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


Download ppt "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."

Similar presentations


Ads by Google