Rodin Workshop 2010: Difference between revisions

From Event-B
Jump to navigationJump to search
imported>Stefan
imported>Vitaly
No edit summary
Line 57: Line 57:
* 15h00 - 15h30 [http://wiki.event-b.org/images/Rodin2010-sld-grov_etal.pdf ''A small experiment in Event-B rippling''], Gudmund Grov, Alan Bundy & Lucas Dixon
* 15h00 - 15h30 [http://wiki.event-b.org/images/Rodin2010-sld-grov_etal.pdf ''A small experiment in Event-B rippling''], Gudmund Grov, Alan Bundy & Lucas Dixon
* 15h30 - 16h00 Coffee break
* 15h30 - 16h00 Coffee break
* 16h00 - 16h30 ''Animation of UML-B State-machines'', Vitaly Savicks, Colin Snook, Michael Butler
* 16h00 - 16h30 [http://wiki.event-b.org/images/Dusseldorf_SM_Animation.pdf''Animation of UML-B State-machines'', Vitaly Savicks, Colin Snook, Michael Butler]
* 16h30 - 17h00 [http://wiki.event-b.org/images/Rodin2010-sld-maamria.pdf ''Addressing Extensibility Issues in Rodin and Event-B''], Issam Maamria and Michael Butler
* 16h30 - 17h00 [http://wiki.event-b.org/images/Rodin2010-sld-maamria.pdf ''Addressing Extensibility Issues in Rodin and Event-B''], Issam Maamria and Michael Butler
* 17h00 - 17h15 [http://wiki.event-b.org/images/Rodin2010-sld-wright.pdf ''Modelling of the XCore Microprocessor with Rodin''], Steve Wright
* 17h00 - 17h15 [http://wiki.event-b.org/images/Rodin2010-sld-wright.pdf ''Modelling of the XCore Microprocessor with Rodin''], Steve Wright

Revision as of 22:05, 18 November 2010

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).

  • 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)

Wednesday 22nd September (Workshop Day 2)

Registration

Registration page