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

  • 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
  • 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

  • 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
  • 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
  • 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
  • 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
  • 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
  • Undo Redo
    ==Design== [[Category:Design]]
    4 KB (599 words) - 15:56, 28 January 2009
  • File Root Separation
    In the original database design, file elements are hybrid as they fall in both It was found out at the end of the Rodin project, that this design decision was
    6 KB (897 words) - 11:47, 29 January 2009
  • Past Developments
    {{see also|Undo Redo Design|l1=Undo/Redo design}} ...f Event-B]] and the corresponding [[Mathematical_Language_Evolution_Design|design]] documentation.
    6 KB (915 words) - 16:57, 27 February 2014
  • 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
  • Proposals of Changes to the Mathematical Language Specification
    [[Category:Design proposal]]
    851 bytes (124 words) - 12:53, 26 March 2010
  • D23 Introduction
    ...(smart completion, renaming, text editing, etc), decomposition support and design-pattern management. * Choices / decisions. The decisions (e.g. design decisions) are justified.
    3 KB (399 words) - 11:20, 27 January 2010
  • D45 Scalability
    ...models, for helping the development process. The objective in introducing design patterns within formal methods in general, and in Event-B in particular, is ...and management for projects of industrial size mentioned above or even the design of extension capabilities. Extension capabilities became a major concern si
    13 KB (1,991 words) - 20:57, 20 April 2012
  • D45 Introduction
    ...the addition of the Generic Instantiation Plug-in (previously mentioned as Design Pattern Management). * Choices / decisions. The decisions (e.g. design decisions) are justified.
    3 KB (500 words) - 09:18, 23 April 2012

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

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