Search results

Create the page "Rodin templates" on this wiki! See also the search results found.

• Rodin Workshop 2016
  ==6th Rodin User and Developer Workshop== 6th Rodin User and Developer Workshop, 23 May, 2016, Linz, Austria
  5 KB (664 words) - 18:29, 6 June 2016
• Camille Release History
  [[Camille_Editor|Camille]] is the Text-Editor for Rodin (as opposed to the structural editor). Camille is currently maintained by == Camille 3.0.2 (for Rodin 3) released on August 19th 2014 ==
  6 KB (800 words) - 08:50, 19 August 2014
• ADVANCE D3.3 Model Composition and Decomposition
  ...version released (v1.6.1), some bugs are fixed to make it compatible with Rodin v2.8. In the latest version released (v1.2.6) compatible with Rodin v2.8, some bugs are fixed.
  5 KB (739 words) - 10:48, 23 September 2013
• Camille Editor
  Camille 3.0.2 for Rodin 3.0.1 released on 19th August 2014 A preliminary version of Camille for Rodin 3.1 is available at the nightly update site: [http://nightly.cobra.cs.uni-d
  6 KB (945 words) - 12:22, 27 January 2015
• Documentation Overhaul DoW
  === WP1-1: Styles Guides and Templates (16mh) === ...we will create a style guide to ensure consistency. We will also provide templates as needed, to simplify the creation of the documentation.
  9 KB (1,421 words) - 12:41, 8 December 2011
• Rodin Platform 3.5.0 External Plug-ins
  Please use one of the following templates for the Status column ==== Rodin Update Site ====
  9 KB (1,244 words) - 13:52, 1 April 2022
• D23 TEXT
  ...framework seamlessly integrates into Eclipse. It is already proven within Rodin, as it is the foundation of UML-B. It is extensible - contributors of other Rodin has done away with a textual representation of the formal models.
  8 KB (1,257 words) - 15:56, 28 January 2010
• Extending the Rodin database (How to extend Rodin Tutorial)
  ...)|Extending the structured editor]] | Up= [[Plug-in_Tutorial|How to extend Rodin Tutorial (Index)]]}} ...extension, please refer to: [[Extending_the_Rodin_Database| Extending the Rodin Database]].
  9 KB (1,496 words) - 17:44, 4 September 2013
• The Use of Theories in Code Generation
  The theory plug-in is used to add mathematical extensions to Rodin. The theories are created, and deployed, and can then be used in any models Translator rules are templates. They are used in a pattern matching algorithm, in the Theory plug-in, invo
  4 KB (599 words) - 15:00, 14 June 2021
• Code Generation Activity
  == Code Generation for Co-simulation using FMI - Rodin 2.8 == http://sourceforge.net/p/rodin-b-sharp/CodeGen/ci/master/tree/TaskingEventB/
  17 KB (2,568 words) - 09:03, 19 October 2015
• EMF framework for Event-B
  This page describes the core facilities for loading Rodin Event-B models in EMF and the 'hooks' that are provided for making extensio ...model. For example this is used to store some information contained in the Rodin database, which must be preserved but is not of interest in the EMF modelli
  26 KB (3,961 words) - 13:04, 19 May 2020