Rodin Workshop 2010

From Event-B
Revision as of 09:28, 22 November 2010 by imported>Stefan (→‎Wednesday 22nd September (Workshop Day 2))
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigationJump to search

Rodin User and Developer Workshop, University of Duesseldorf, 20-22 September 2010

Monday 20th September (Tutorial)

Tutorial "How to extend Rodin?" for developers (by Systerel).

The tutorial will be interactive, so please bring your laptop and keep your development environment up-to-date (Eclipse 3.6, Java 1.6, current Rodin source files).

The tutorial is available online here.

  • 09h00 - 10h30
Creating a plug-in
Extending the database
Extending the structured editor
  • 10h30 - 11h00
Coffee break
  • 11h00 - 12h30
Extending the pretty print page
Providing help
Extending the Event-B explorer
  • 12h30 - 14h00
Lunch break
  • 14h00 - 15h30
Extending the static checker
Extending the proof obligation generator
  • 15h30 - 16h00
Coffee break
  • 16h00 - 17h00
Adding reasoners

Tuesday 21st September (Workshop Day 1)

Transcript of a subsequent e-mail discussion between Ken Robinson and Laurent Voisin

Wednesday 22nd September (Workshop Day 2)

Registration

Registration page