Search results
From Event-B
Jump to navigationJump to search
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
- ...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
- 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