Plug-in Tutorial: Difference between revisions
From Event-B
Jump to navigationJump to search
imported>Tommy |
imported>Tommy mNo edit summary |
||
| Line 24: | Line 24: | ||
==Projects== | ==Projects== | ||
The archives of the projects built in this tutorial are available here: https://sourceforge.net/projects/rodin-b-sharp/files/Doc_Developer_Tutorial/ | The archives of the projects built in this tutorial are available here: https://sourceforge.net/projects/rodin-b-sharp/files/Doc_Developer_Tutorial/ | ||
* [http://sourceforge.net/projects/rodin-b-sharp/files/Doc_Developer_Tutorial/ | * [http://sourceforge.net/projects/rodin-b-sharp/files/Doc_Developer_Tutorial/2.0/Archive1_After_Database_Extension.zip/download <tt>Archive1_After_Database_Extension.zip</tt>] | ||
* [http://sourceforge.net/projects/rodin-b-sharp/files/Doc_Developer_Tutorial/ | * [http://sourceforge.net/projects/rodin-b-sharp/files/Doc_Developer_Tutorial/2.0/Archive2_After_Structured_Editor_Extension.zip/download <tt>Archive2_After_Structured_Editor_Extension.zip</tt>] | ||
* [http://sourceforge.net/projects/rodin-b-sharp/files/Doc_Developer_Tutorial/ | * [http://sourceforge.net/projects/rodin-b-sharp/files/Doc_Developer_Tutorial/2.0/Archive3_After_EventB_Explorer_Extension.zip/download <tt>Archive3_After_EventB_Explorer_Extension.zip</tt>] | ||
* [http://sourceforge.net/projects/rodin-b-sharp/files/Doc_Developer_Tutorial/ | * [http://sourceforge.net/projects/rodin-b-sharp/files/Doc_Developer_Tutorial/2.0/Archive4_After_PrettyPrinter_Extension.zip/download <tt>Archive4_After_PrettyPrinter_Extension.zip</tt>] | ||
* [http://sourceforge.net/projects/rodin-b-sharp/files/Doc_Developer_Tutorial/ | * [http://sourceforge.net/projects/rodin-b-sharp/files/Doc_Developer_Tutorial/2.0/Archive5_After_Help_Extension.zip/download <tt>Archive5_After_Help_Extension.zip</tt>] | ||
* [http://sourceforge.net/projects/rodin-b-sharp/files/Doc_Developer_Tutorial/ | * [http://sourceforge.net/projects/rodin-b-sharp/files/Doc_Developer_Tutorial/2.0/Archive6_After_Static_Checker_Extension.zip/download <tt>Archive6_After_Static_Checker_Extension.zip</tt>] | ||
* [http://sourceforge.net/projects/rodin-b-sharp/files/Doc_Developer_Tutorial/ | * [http://sourceforge.net/projects/rodin-b-sharp/files/Doc_Developer_Tutorial/2.0/Archive7_After_Proof_Obligation_Generator_Extension.zip/download <tt>Archive7_After_Proof_Obligation_Generator_Extension.zip</tt>] | ||
* [http://sourceforge.net/projects/rodin-b-sharp/files/Doc_Developer_Tutorial/ | * [http://sourceforge.net/projects/rodin-b-sharp/files/Doc_Developer_Tutorial/2.0/Archive8_After_Sequent_Prover_Extension.zip/download <tt>Archive8_After_Sequent_Prover_Extension.zip</tt>] | ||
{{Navigation|Next= [[Introduction_(How_to_extend_Rodin_Tutorial)|Introduction]]}} | {{Navigation|Next= [[Introduction_(How_to_extend_Rodin_Tutorial)|Introduction]]}} | ||
Latest revision as of 14:27, 5 September 2013
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 How to extend the UI?
Second part:
Projects
The archives of the projects built in this tutorial are available here: https://sourceforge.net/projects/rodin-b-sharp/files/Doc_Developer_Tutorial/
- Archive1_After_Database_Extension.zip
- Archive2_After_Structured_Editor_Extension.zip
- Archive3_After_EventB_Explorer_Extension.zip
- Archive4_After_PrettyPrinter_Extension.zip
- Archive5_After_Help_Extension.zip
- Archive6_After_Static_Checker_Extension.zip
- Archive7_After_Proof_Obligation_Generator_Extension.zip
- Archive8_After_Sequent_Prover_Extension.zip
