Search results

From Event-B
Jump to navigationJump to search

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

Page title matches

  • Help:Rodin templates
    == Typesetting Templates == === Table templates ===
    826 bytes (80 words) - 14:14, 12 December 2008

Page text matches

  • Help:Rodin templates
    == Typesetting Templates == === Table templates ===
    826 bytes (80 words) - 14:14, 12 December 2008
  • Template:Main Page/User Documentation
    ...umentation|''User documentation'' category]]</small></div>[[Rodin Platform|Rodin Platform User Support]] ...• [[:Category:Plugin|''Plugin'' category]] </small></div>[[Rodin Plug-ins|Rodin Plug-in User Support]]
    2 KB (226 words) - 14:22, 15 January 2019
  • Help:Contents
    * [[Help:Rodin templates]] * [[Help:Templates|Templates]]
    2 KB (200 words) - 14:03, 12 December 2008
  • Template:News
    ...http://www.youtube.com/watch?v=fSWZWXx5ixc Event-B video] on the Event-B & Rodin youtube channel ...03/13: New [https://www.youtube.com/EventBtv UML-B video] on the Event-B & Rodin youtube channel
    677 bytes (95 words) - 22:03, 30 September 2020
  • Template:Dev News
    |<p style="font-size:35px">Rodin 3.8 is out&nbsp;&nbsp;&nbsp;</p> ||<p style="font-size:25px">[[Rodin Platform 3.8 Release Notes | +Learn more... ]]</p>
    5 KB (633 words) - 06:40, 4 April 2023
  • Template:Main Page/Developer Documentation
    <div>[[Rodin Developer Support]]</div> [[Category:Main page templates|Developer Documentation]]
    994 bytes (131 words) - 14:21, 15 January 2019
  • 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
  • Template:Main Page/Community
    ...ps://wiki.event-b.org/index.php/Rodin_Workshop_2024 Rodin 2024 -- The 11th Rodin User and Developer Workshop on 25 June 2024 (co-located with ABZ2024).] ...ps://wiki.event-b.org/index.php/Rodin_Workshop_2023 Rodin 2023 -- The 10th Rodin User and Developer Workshop on 30 May 2023 (co-located with ABZ2023).]
    3 KB (394 words) - 12:45, 15 April 2024
  • Event-B:Village pump
    * [[:Category:Rodin Platform]] (10 members) :I've also added the following templates that may be of some help: [[:Template:Anchor]], [[:Template:There]] and [[T
    8 KB (1,148 words) - 08:43, 24 February 2009
  • 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
Retrieved from ‘https://wiki.event-b.org/index.php/Special:Search’