Rodin Tutorials: Difference between revisions

From Event-B
Jump to navigationJump to search
imported>WikiSysop
No edit summary
imported>Ladenberger
No edit summary
 
(15 intermediate revisions by 7 users not shown)
Line 1: Line 1:
Tutorial 1 (celebrity, doors, galois, closure):
This page gives a brief summary of tutorial documents for Rodin and other Plug-ins.


[http://deploy-eprints.ecs.soton.ac.uk/10/ document plus project archives]
== Rodin Handbook ==
 
[http://handbook.event-b.org/current/html/tutorial.html Rodin Handbook (Tutorial)]
 
<small>
The original and now outdated version is available [http://deploy-eprints.ecs.soton.ac.uk/10/ here].
</small>
 
== Requirements Tutorial ==
 
;[[Requirements Tutorial]]: Shows how the Requirements Plug-in is used
 
[[Category:User documentation]]
[[Category:Tutorial]]
 
== Statemachine Animation Tutorial ==
[[Statemachine Animation Tutorial]] shows how to use the Statemachine Animation plug-in on a sample UML-B model.

Latest revision as of 08:47, 27 October 2011

This page gives a brief summary of tutorial documents for Rodin and other Plug-ins.

Rodin Handbook

Rodin Handbook (Tutorial)

The original and now outdated version is available here.

Requirements Tutorial

Requirements Tutorial
Shows how the Requirements Plug-in is used

Statemachine Animation Tutorial

Statemachine Animation Tutorial shows how to use the Statemachine Animation plug-in on a sample UML-B model.