Difference between revisions of "Plug-in Tutorial"
From Event-B
Jump to navigationJump to searchimported>Tommy (Starting documentation) |
imported>Tommy m |
||
| Line 3: | Line 3: | ||
'''Tutorial for the extension of the Rodin platform by plugin addition''' | '''Tutorial for the extension of the Rodin platform by plugin addition''' | ||
| + | This tutorial is problem solving oriented. | ||
| + | In a first part, we will focus on Rodin extensions to develop a plugin for Probabilistic Termination and Qualitative Reasoning. In a second part, we will study specific problem cases and extend Rodin to solve them. More details can be found in the [[Introduction_(How_to_extend_Rodin_Tutorial)|Introduction]]. | ||
| + | |||
| + | ==Outline== | ||
* {{topic|Introduction_(How_to_extend_Rodin_Tutorial)|Introduction}} | * {{topic|Introduction_(How_to_extend_Rodin_Tutorial)|Introduction}} | ||
| + | ''First part'' (Probabilistic Termination and Qualitative Reasoning Plugin): | ||
* {{topic|Creating_a_new_plugin_using_eclipse_(How_to_extend_Rodin_Tutorial)|1 Creating our plugin}} | * {{topic|Creating_a_new_plugin_using_eclipse_(How_to_extend_Rodin_Tutorial)|1 Creating our plugin}} | ||
* {{topic|Extend_Rodin_Database_(How_to_extend_Rodin_Tutorial)|2 Contribute new elements in Rodin Database}} | * {{topic|Extend_Rodin_Database_(How_to_extend_Rodin_Tutorial)|2 Contribute new elements in Rodin Database}} | ||
* {{topic|Extend_Rodin_UI_(How_to_extend_Rodin_Tutorial)|3 Add support for new elements in Rodin UI}} | * {{topic|Extend_Rodin_UI_(How_to_extend_Rodin_Tutorial)|3 Add support for new elements in Rodin UI}} | ||
| + | |||
| + | ''Second part'' (Various problem solvings): | ||
| + | * | ||
| + | * | ||
| + | * | ||
{{Navigation|Next= [[Introduction_(How_to_extend_Rodin_Tutorial)|Introduction]]}} | {{Navigation|Next= [[Introduction_(How_to_extend_Rodin_Tutorial)|Introduction]]}} | ||
Revision as of 15:52, 17 August 2010
Tutorial for the extension of the Rodin platform by plugin addition
This tutorial is problem solving oriented. In a first part, we will focus on Rodin extensions to develop a plugin for Probabilistic Termination and Qualitative Reasoning. In a second part, we will study specific problem cases and extend Rodin to solve them. More details can be found in the Introduction.
Outline
First part (Probabilistic Termination and Qualitative Reasoning Plugin):
Second part (Various problem solvings):
