Search results

Create the page "Example page/Some sub-page" on this wiki! See also the search results found.

• D45 General Platform Maintenance
  ...ekly teleconferences. The updates allowed to capture and integrate rapidly some minor changes to enhance the usability of the platform which were required Some other which were later added and prioritized are worth to mention:
  35 KB (5,228 words) - 10:12, 23 April 2012
• Extending the Rodin Structured Editor (How to extend Rodin Tutorial)
  ...ieved by <tt>IInternalElement.getAttributeValue(PROB_ATTRIBUTE)</tt>). For example, it should return "probabilistic" if the attribute has value <tt>true</tt>, ...ur probabilistic attribute to events. Return to the MANIFEST.MF extensions page.<br>
  10 KB (1,503 words) - 13:34, 5 September 2013
• Constrained Dynamic Parser
  This page describes the requirements for a '''generic parser''' for the [[Event-B Mat :* on [http://en.wikipedia.org/wiki/Parser_combinator wikipedia]. Some implementations are referenced [http://pdos.csail.mit.edu/~baford/packrat/
  27 KB (3,967 words) - 13:21, 15 February 2010
• Rodin Platform 1.3 Release Notes
  :'''Extensible pretty print'''. It is now possible to extend the pretty print page with the same kind of mechanism used to extend the structured editor. :See also: [[Extending the Pretty Print Page]]
  12 KB (1,642 words) - 13:21, 28 July 2010
• Variations in HYP, CNTR and GenMP
  This page describes the introduction of variations in the HYP, HYP_OR, CNTR and GENMP The variations in the [[Inference Rules]] page have been generated such that the following facts hold:
  11 KB (1,594 words) - 07:08, 8 July 2014
• Rodin Developer Support
  HEAD revision is always working, but some glitches can appear * [[Extending the Pretty Print Page]]
  8 KB (1,260 words) - 12:45, 30 July 2015
• D32 Model Animation
  ...even with the dedicated proof rules and with maximum memory allocated. In some of the bigger and more recent models, just substituting values for variable ...nd showed for each proof obligation how the algorithm would find a counter-example. We presented empirical results and discussed how the algorithm can be comb
  16 KB (2,553 words) - 15:12, 27 January 2011
• EMF framework for Event-B
  This page describes the core facilities for loading Rodin Event-B models in EMF and t ...available. This can be configured to generate Event-B EMF and is used for some more recent Event-B generators. It will eventually replace the generator th
  26 KB (3,961 words) - 13:04, 19 May 2020
• Modularisation Plug-in
  The [[Modularisation Plug-in Tutorial]] page is currently in preparation. There is a dedicated page for [[Modularisation Integration Issues]].
  18 KB (2,784 words) - 10:57, 6 September 2010
• Mathematical Extensions
  * Verification of preconditions (see for example <tt>AssociativeExpression.checkPreconditions</tt>) According to the [[Constrained_Dynamic_Parser| Parser]] page, the following informations are required by the parser in order to be able
  19 KB (2,883 words) - 18:20, 17 March 2014
• Extending the Static Checker
  The purpose of this page is to describe how to extend the static checker. It covers on the one hand, ...ked elements that are similar to the unchecked elements. We will use as an example the ''decompositionFile'' that is defined as follows:
  24 KB (3,013 words) - 16:24, 5 July 2011

View (previous 20 | next 20) (20 | 50 | 100 | 250 | 500)