Rodin Workshop 2010: Difference between revisions

From Event-B
Jump to navigationJump to search
imported>Stefan
imported>Stefan
 
(2 intermediate revisions by the same user not shown)
Line 7: Line 7:


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 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 material for the tutorial is available [http://wiki.event-b.org/index.php/Plug-in_Tutorial here].
 
The tutorial is available online [http://wiki.event-b.org/index.php/Plug-in_Tutorial here].


*09h00 - 10h30  
*09h00 - 10h30  
Line 48: Line 49:
==Wednesday 22nd September (Workshop Day 2)==
==Wednesday 22nd September (Workshop Day 2)==
* 09h00 - 09h30 [http://wiki.event-b.org/images/Rodin2010-sld-llano_etal_2.pdf ''Using automated theory formation to discover invariants of Event-B models''], Maria Teresa Llano, Andrew Ireland, Alison Pease, Simon Colton, John Charnley
* 09h00 - 09h30 [http://wiki.event-b.org/images/Rodin2010-sld-llano_etal_2.pdf ''Using automated theory formation to discover invariants of Event-B models''], Maria Teresa Llano, Andrew Ireland, Alison Pease, Simon Colton, John Charnley
* 09h30 - 10h00 ''Specifying and Solving Constraint Satisfaction Problems in B'', Michael Leuschel and Daniel Plagge
* 09h30 - 10h00 [http://wiki.event-b.org/images/Rodin2010-sld-leuschel_plagge.pdf ''Specifying and Solving Constraint Satisfaction Problems in B''], Michael Leuschel and Daniel Plagge
* 10h00 - 10h30 [http://wiki.event-b.org/images/Rodin2010-sld-lopatkin_etal.pdf ''Fault Tolerance View in Event-B Development''], Ilya Lopatkin, Alexei Iliasov, Alexander Romanovsky
* 10h00 - 10h30 [http://wiki.event-b.org/images/Rodin2010-sld-lopatkin_etal.pdf ''Fault Tolerance View in Event-B Development''], Ilya Lopatkin, Alexei Iliasov, Alexander Romanovsky
* 10h30 - 11h00 Coffee break
* 10h30 - 11h00 Coffee break

Latest revision as of 09:28, 22 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).

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