Search results
From Event-B
Jump to navigationJump to searchCreate the page "' + t + '" on this wiki! See also the search results found.
- ** Cursor position moved after symbol replacement when the replacement didn't change the length of the formula. ** Semantic highlighting didn't update within events after reconcile6 KB (800 words) - 08:50, 19 August 2014
- ...t Open Source software projects in the summer while getting paid for it. It's called '''Google Summer of Code™''', and it provides free software p We would like to participate in 2009's Summer of Code.10 KB (1,629 words) - 12:50, 12 August 2009
- * Design an EMF meta model (ecore) of your extension's abstract syntax. The model should include one or more root elements that E ==Ideas that didn't work==7 KB (1,094 words) - 10:50, 22 January 2010
- Inverse function ~ doesn't work with dot notation. Use normal event-B notation instead.1 KB (216 words) - 15:46, 28 January 2011
- ...by sending a QUIT signal (number 3) to the JVM while it is running (I don't know how to do that on Windows platforms).2 KB (337 words) - 11:03, 10 November 2008
- Prior to working with the ATM UML-B project let's create a new clean environment i.e. a new Rodin workspace First let's open the abstract UML-B class diagram <tt>ATM.ATM_A.classDiag</tt> which c13 KB (2,247 words) - 18:16, 13 January 2010
- ...d corresponding classes and set their variability to fixed (because we don't want to model creation of land and bridges). To force them to have the same2 KB (386 words) - 22:23, 11 December 2008
- ...spect of system development. Even a proven B-Model is useless if it doesn't realize the desired requirements. The objective of the requirements plug-i2 KB (335 words) - 14:16, 3 December 2010
- the railway's people, we chose to allocate a great chunk of time to the B model that couldn't be discharged), in contrast to the6 KB (967 words) - 12:57, 28 October 2008
- ## If you didn't install the ''Event-B EMF Framework'' yet it will be automatically added. C ''This is how it should work. Unfortunately the update doesn't always notify the user properly. So we recommend checking for updates regul6 KB (945 words) - 12:22, 27 January 2015
- Inverse function ~ doesn't work with dot notation. Use normal event-B notation instead.2 KB (353 words) - 12:45, 12 August 2009
- <math>H,\quad x\in S,\quad S\subset T,\quad T\subseteq U \quad\vdash\quad x\in U</math> ...if the expression of the <math>x</math> or the intermediate sets <math>S, T, \dots</math> is too complicated, they may get lost into details and not di19 KB (3,362 words) - 13:50, 5 June 2014
- == What's New in Rodin 2.2.2 ? == ...cker/?func=detail&aid=3374051&group_id=108850&atid=651669 Bug 3374051: Can't type < in quantifier box]4 KB (515 words) - 08:41, 1 August 2011
- == What's New in Rodin 2.4? == Bug 2974867: Camille text editor - doesn't allow non alphanumeric chars11 KB (1,542 words) - 08:35, 1 March 2012
- Let's look at the following formula: ..., this entails rewriting <math>\id_{T}(x)</math> into <math>x \domres \id_{T}</math>.14 KB (2,104 words) - 09:40, 11 May 2009
- == What's New in Rodin 2.5? == Bug 3472979: B2Latex doesn't handle more than one paragraph in a Comment11 KB (1,478 words) - 17:32, 2 May 2012
- == What's New in Rodin 2.7 == Bug 3565590: Can't open a proof10 KB (1,301 words) - 07:11, 29 August 2013
- ...a good understanding of the content we intend to cover. Otherwise we won't be able to allocate our resources wisely. The FAQ will grow naturally and won't need a detailed plan beforehand.9 KB (1,421 words) - 12:41, 8 December 2011
- == What's New in Rodin 2.3? == Bug 3374051: Can't type < in quantifier box11 KB (1,401 words) - 09:39, 8 November 2011
- Once you've installed Rodin 2.4 or upper, you are ready to use the Rodin Editor plug- Let's create a Rodin project, and add a context component called ''Celebrity_C0'8 KB (1,328 words) - 16:43, 3 June 2013
