Search results

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

Page title matches

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

  • #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
  • [[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
  • ...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
  • ...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
  • 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
  • ==Design== [[Category:Design]] ...
    4 KB (599 words) - 15:56, 28 January 2009
  • 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
  • {{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
  • 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 proposal]] ...
    851 bytes (124 words) - 12:53, 26 March 2010
  • ...(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
  • ...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
  • ...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 | ) (20 | 50 | 100 | 250 | 500)