Search results

From Event-B
Jump to navigationJump to search

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

Page title matches

  • Category:Design
    32 members (0 subcategories, 0 files) - 21:28, 10 September 2008
  • Category:Design proposal
    17 members (0 subcategories, 0 files) - 21:45, 11 December 2008
  • Auto-Completion Design
    [[Category:Design]]
    1,001 bytes (119 words) - 14:53, 21 January 2010
  • Proof Purger Design
    [[Category:Design]]
    3 KB (505 words) - 12:54, 12 August 2009
  • Proof Skeleton Design
    [[Category:Design]]
    2 KB (254 words) - 12:54, 12 August 2009
  • Rodin Index Design
    ...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
  • Single View Design
    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
  • Undo Redo Design
    [[Category:Design]]
    2 KB (291 words) - 09:27, 4 March 2009
  • Talk:Single View Design
    638 bytes (92 words) - 18:37, 26 March 2010
  • Extending Single View Design
    ===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
  • Mathematical Language Evolution Design
    [[Category:Design]]
    14 KB (2,104 words) - 09:40, 11 May 2009

Page text matches

  • File:RodinWorkshopPresentation.pdf
    ...ions, counter-examples, etc.) we can suggest potential improvements to the design.
    (1.02 MB) - 20:50, 30 April 2020
  • Proof Purger
    #REDIRECT [[Proof Purger Design]]
    33 bytes (4 words) - 15:59, 6 January 2009
  • Proof Skeleton
    #REDIRECT [[Proof Skeleton Design]]
    35 bytes (4 words) - 16:56, 6 January 2009
  • Talk:Modus Ponens generalized
    ...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
  • 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
  • Requirements for merging models
    [[Category:Design proposal]]
    415 bytes (64 words) - 10:36, 25 August 2009
  • Developer Documentation
    * [[Extending Single View Design]] * [[:Category:Design proposal]]
    2 KB (179 words) - 09:17, 20 November 2013
  • Constrained Dynamic Lexer
    A first design proposal is also drafted. === Requirements Exported by the Current Language Design ===
    3 KB (440 words) - 09:10, 1 March 2010
  • User:Mathieu/Collections/Essai
    :[[Rodin Index Design]]
    177 bytes (18 words) - 16:24, 6 January 2009
  • Stronger AST Library
    ...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
    ===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
  • Template:News/Archives
    * 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
  • Improved WD Lemma Generation
    ...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
  • Template:TODO
    <span style="background-color:yellow;">'''TODO'''</span>: ''Complete the design section'' more text.
    655 bytes (87 words) - 08:25, 25 September 2008
  • Maplet Overriding in Goal
    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
  • Current Proof Tree Node in UI
    == 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
  • Event-B Language
    ...[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
  • Prover Diagrams
    [[Category:Design]]
    726 bytes (102 words) - 12:02, 12 August 2009
  • User:Mathieu/Notes
    * Some logo design (refinement:cornue, rodin le penseur, Symmetrical R, math symbols...)
    619 bytes (86 words) - 10:26, 23 January 2009
  • Undo Redo
    ==Design== [[Category:Design]]
    4 KB (599 words) - 15:56, 28 January 2009

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

Retrieved from ‘https://wiki.event-b.org/index.php/Special:Search’