Search results

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

• Google Summer of Code 2009
  * Prepare basic documentation for users. Write some user documentation.
  10 KB (1,629 words) - 12:50, 12 August 2009
• Past Developments
  ...]] and the corresponding [[Mathematical_Language_Evolution_Design|design]] documentation. ...dels via the Rodin API and facilities to support text editing and parsing. Examples of tools that will be based on the EMF framework for Rodin are, a Text edit
  6 KB (915 words) - 16:57, 27 February 2014
• D32 UML-B
  = Available Documentation = * Worked Examples<ref name="UML-B">http://wiki.event-b.org/index.php/UML-B</ref>.
  9 KB (1,382 words) - 11:05, 27 January 2011
• D45 Prover Enhancement
  ...preservation proof obligations. ProB has also been used for finding count examples to proof rules of the industrial partner Siemens.<br> ...time) and then applies the ProB constraint solver to try and find counter examples to each proof rule.
  21 KB (3,334 words) - 21:20, 20 April 2012
• D32 Model Animation
  * Counter examples are found by ProB for various versions of the model in 9-24 seconds (includ For some other examples (in particular time-tabling) involving operators such as the relational ima
  16 KB (2,553 words) - 15:12, 27 January 2011
• Rodin 3.0 Plug-in Migration Guide
  Those precendent cases are only the most general examples that you will face and are made to give an idea of the new API good usage, Please refer to the documentation of the extension point for further details on how to implement things.
  17 KB (2,614 words) - 16:25, 14 February 2014
• Sequent Prover Developer Guide
  ...lass <tt>org.eventb.core.seqprover.reasonerInputs.EmptyInputReasoner</tt>. Examples include <tt>org.eventb.internal.core.seqprover.eventbExtensions.ImpI</tt> w [[Category:Developer documentation]]
  17 KB (2,378 words) - 09:48, 17 June 2010
• Extending the Pretty Print Page
  In this part we will study concrete examples, to show how the core pretty printer is extended by contributions. [[Category:Developer documentation]]
  17 KB (2,385 words) - 09:53, 27 October 2011
• D23 ProB
  = Available Documentation = ...t were required in moving from a tool capable of dealing with medium-sized examples towards a tool able to deal with actual industrial specifications. Notably,
  17 KB (2,580 words) - 15:55, 28 January 2010
• Mode/FT Views
  Examples: * [http://rodinmodeftview.sourceforge.net/examples/train.zip Toy train example]
  21 KB (3,472 words) - 20:32, 26 June 2015
• Rodin Proving Perspective
  ...plied when green buttons appear in the Goal and Selected Hypotheses views. Examples are proof by contradiction [[Image:falsify_prover.gif]], that we have alrea [[Category:User documentation|The Proving Perspective]]
  27 KB (4,348 words) - 08:56, 26 September 2011
• The Proving Perspective (Rodin User Manual)
  ...plied when green buttons appear in the Goal and Selected Hypotheses views. Examples are proof by contradiction [[Image:falsify_prover.gif]], that we have alrea [[Category:User documentation|The Proving Perspective]]
  27 KB (4,348 words) - 18:45, 28 September 2011

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