Search results

From Event-B
Jump to navigationJump to search
View (previous 20 | ) (20 | 50 | 100 | 250 | 500)

Page title matches

  • 32 members (0 subcategories, 0 files) - 21:28, 10 September 2008
  • 17 members (0 subcategories, 0 files) - 21:45, 11 December 2008
  • [[Category:Design]] ...
    1,001 bytes (119 words) - 14:53, 21 January 2010
  • [[Category:Design]] ...
    3 KB (505 words) - 12:54, 12 August 2009
  • [[Category:Design]] ...
    2 KB (254 words) - 12:54, 12 August 2009
  • ...e elements, based on their type. In hindsight, we are taking here the same design decision we took for the event-B tools when defining the granularity of sta [[Category:Design]] ...
    14 KB (2,204 words) - 12:58, 12 October 2009
  • The clean separation between modelling and proving looked good during paper design. However, users reported that they were constantly switching between the t The Single View Design uses the [http://wiki.eclipse.org/index.php/Common_Navigator_Framework Comm ...
    5 KB (842 words) - 18:35, 26 March 2010
  • [[Category:Design]] ...
    2 KB (291 words) - 09:27, 4 March 2009
  • 638 bytes (92 words) - 18:37, 26 March 2010
  • ===Extending Single View Design=== Single View Design uses the [http://wiki.eclipse.org/index.php/Common_Navigator_Framework Comm ...
    4 KB (521 words) - 18:36, 26 March 2010
  • [[Category:Design]] ...
    14 KB (2,104 words) - 09:40, 11 May 2009

Page text matches

  • Thumbnail for File:RodinWorkshopPresentation.pdf
    ...ions, counter-examples, etc.) we can suggest potential improvements to the design. ...
    (1.02 MB) - 20:50, 30 April 2020
  • #REDIRECT [[Proof Purger Design]] ...
    33 bytes (4 words) - 15:59, 6 January 2009
  • #REDIRECT [[Proof Skeleton Design]] ...
    35 bytes (4 words) - 16:56, 6 January 2009
  • ...of the category used at [[Special:Categories]]. You may want to use the "Design proposal" category for instance, by adding the following to the end of the [[Category:Design proposal]] ...
    352 bytes (56 words) - 08:31, 5 May 2011
  • Thumbnail for File:SM&D-KAR.pdf
    System Modelling & Design is an uncompleted textbook on Event-B by Ken Robinson. ...
    (926 KB) - 20:49, 30 April 2020
  • [[Category:Design proposal]] ...
    415 bytes (64 words) - 10:36, 25 August 2009
  • * [[Extending Single View Design]] * [[:Category:Design proposal]] ...
    2 KB (179 words) - 09:17, 20 November 2013
  • A first design proposal is also drafted. === Requirements Exported by the Current Language Design === ...
    3 KB (440 words) - 09:10, 1 March 2010
  • :[[Rodin Index Design]] ...
    177 bytes (18 words) - 16:24, 6 January 2009
  • ...ng mathematical formulas. These flaws were either present in the original design of the library or were overlooked when introducing mathematical extensions. [[Category:Design proposal]] ...
    1 KB (179 words) - 15:34, 22 July 2012
  • ===Extending Single View Design=== Single View Design uses the [http://wiki.eclipse.org/index.php/Common_Navigator_Framework Comm ...
    4 KB (521 words) - 18:36, 26 March 2010
  • * 06/03/09: New page about [[Auto-Completion Design]] ...ing]] topic (see also [[Extending the Index Manager‎|[1]]] & [[Rodin Index Design|[2]]]) ...
    3 KB (377 words) - 12:40, 30 May 2013
  • ...scribe what result shall be produced by the tool. Finally, we describe the design retained for development. == Design for Improved Generation == ...
    4 KB (617 words) - 09:43, 19 June 2012
  • <span style="background-color:yellow;">'''TODO'''</span>: ''Complete the design section'' more text. ...
    655 bytes (87 words) - 08:25, 25 September 2008
  • This page describes the design of a tactic requested here : [https://sourceforge.net/tracker/index.php?fun = Design Decision = ...
    5 KB (824 words) - 16:05, 18 March 2014
  • == Design Decisions == ...UI, there is the notion of an active part (i.e., view or editor). The best design is then to refresh the Rule Details and Type environment views based on the ...
    4 KB (683 words) - 18:33, 16 December 2011
  • ...[http://wiki.event-b.org/index.php/Image:SM%26D-KAR.pdf System Modelling & Design Using Event-B.] === ...
    3 KB (351 words) - 11:30, 23 January 2014
  • [[Category:Design]] ...
    726 bytes (102 words) - 12:02, 12 August 2009
  • * Some logo design (refinement:cornue, rodin le penseur, Symmetrical R, math symbols...) ...
    619 bytes (86 words) - 10:26, 23 January 2009
  • ==Design== [[Category:Design]] ...
    4 KB (599 words) - 15:56, 28 January 2009
View (previous 20 | ) (20 | 50 | 100 | 250 | 500)