Search results

Create the page "Documentation examples" on this wiki! See also the search results found.

• Template:Main Page/User Documentation
  ...] • [[Rodin Tutorials|Tutorials]] • [[:Category:User documentation|''User documentation'' category]]</small></div>[[Rodin Platform|Rodin Platform User Support]] ...<small>[[:Category:Examples|''Examples'' category]]</small></div>[[Event-B Examples|Example models with Event-B]]
  2 KB (226 words) - 14:22, 15 January 2019
• TextEditor Screenshots
  See [[TextEditor_EBNF#Examples|TextEditor EBNF - Examples]] for the code or download the [http://deploy-eprints.ecs.soton.ac.uk/56/4/ See [[TextEditor_EBNF#Examples|TextEditor EBNF - Examples]] for the code or download the [http://deploy-eprints.ecs.soton.ac.uk/56/4/
  1 KB (174 words) - 12:43, 12 August 2009

• File:Example.jpg [[Category:Documentation examples]] (400 × 267 (60 KB)) - 20:49, 30 April 2020

• Improved WD Lemma Generation
  ...s lemmas that are unnecessarily complicated. We first give some motivating examples showing cases where this happens, then we describe what result shall be pro == Motivating Examples ==
  4 KB (617 words) - 09:43, 19 June 2012
• TextEditor EBNF
  ...on|explains]] some details and design decisions and gives some [[#Examples|examples]]. ===Examples ===
  4 KB (559 words) - 12:43, 12 August 2009
• Template:News/Archives
  * 22/07/09: Three [[Event-B_Examples|new examples added]] since June. * 03/03/09: [[Feature Composition Plug-in|New page and documentation]] about Composition Plug-in
  3 KB (377 words) - 12:40, 30 May 2013
• Original UML-B
  ...g the concept of the various diagrams and illustrating their use with some examples ==Worked Examples==
  4 KB (535 words) - 14:58, 10 December 2012
• OldUML-B
  ...g the concept of the various diagrams and illustrating their use with some examples ==Worked Examples==
  4 KB (535 words) - 14:56, 10 December 2012
• Event-B:Village pump
  * [[:Category:Developer Documentation]] (1 member) * [[:Category:User Documentation]] (20 members)
  8 KB (1,148 words) - 08:43, 24 February 2009
• Current Proof Tree Node in UI
  Here are some examples of the strange behavior of these views in Rodin 2.3+ (subversion r13884). A common pattern that occurs in these examples is that the view do refresh only on explicit clicks from the user in the Pr
  4 KB (683 words) - 18:33, 16 December 2011
• ADVANCE D3.3 Model Checking
  ...checking allows to check if the model contains errors and provides counter-examples that help to understand the problem beforehand. Moreover, it allows to reas == Available Documentation ==
  6 KB (1,016 words) - 10:41, 23 September 2013
• Extension Proof Rules
  ...h> of <math>DT</math>; all parameters are introduced as fresh identifiers; examples [[Datatype Rules|here]] || M [[Category:User documentation|The Proving Perspective]]
  2 KB (307 words) - 15:38, 29 November 2019
• User:Nicolas/Collections/ADVANCE D3.4 Improvement of automated proof
  Counter-examples are now displayed in an easier to understand fashion. == Available Documentation ==
  4 KB (639 words) - 16:46, 21 November 2014
• ADVANCE D3.2 Model Checking
  ...checking allows to check if the model contains errors and provides counter-examples that help to understand the problem beforehand. ...l checking. One problem when using LTL to validate a model is that counter-examples returned by the model checker are often hard to understand.
  11 KB (1,711 words) - 09:47, 26 June 2012
• Code Generation Activity
  Updated Examples etc. are available: ...tory: [https://codegenerationd.svn.sourceforge.net/svnroot/codegenerationd/Examples/v0.2.3/ SVN].
  17 KB (2,568 words) - 09:03, 19 October 2015
• D23 Modularisation Plug-in
  = Available Documentation = ...i page covering the plug-in functionality. Also, we are working on further documentation and tutorial.
  6 KB (921 words) - 11:43, 8 January 2010
• Documentation Overhaul DoW
  ...We will also provide templates as needed, to simplify the creation of the documentation. The Reference Section will be the most comprehensive part of the documentation. It will consist of a number of chapters. At this point we see at least t
  9 KB (1,421 words) - 12:41, 8 December 2011
• Rodin Workshop 2021
  * EVBT — an Event-B tool for code generation and documentation - ''Fredrik Öhrström'' ([[Media:RodinWorkshop2021_EVBT.pdf|pdf]]) * Examples of using the Instantiation Plug-in - ''Dominique Cansell, Jean-Raymond Abri
  4 KB (595 words) - 09:41, 29 June 2021
• Introduction (How to extend Rodin Tutorial)
  Other small examples are used in parallel to review all extensions abilities. [[Category:Developer documentation|*Index]]
  5 KB (825 words) - 17:03, 16 October 2010
• Theory Plug-in
  ...o use contexts for purposes for which they were not intentionally devised. Examples of operators that can be useful to users include the sequence operator (whi [[Category:User documentation]]
  7 KB (958 words) - 14:53, 14 June 2021

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