Search results
From Event-B
Jump to navigationJump to search
- ...Jan 2011). The purpose is to give to the project reviewers some insight on what happened in the WP9 package, but without going deeply into technical detail * What are the common denominations? ...5 KB (699 words) - 14:52, 30 November 2010
- * What are the common denominations? * What is the main purpose? ...5 KB (780 words) - 14:57, 6 October 2014
- * What are the common denominations? * What is the main purpose? ...5 KB (732 words) - 08:31, 14 February 2012
- ...the Requirements Map. Three formats are currently supported (see below). Here is a [[Sample Plain Text Requirements Specification]] that we are going to '''Note 1:''' While Identifier and Document can be edited here, it shouldn't be done (changes will be lost upon next synchronization). ...7 KB (995 words) - 15:44, 25 February 2009
- The deliverable will give to the project reviewers some insight on what happened in the work package 3, concerning its 3 main objectives: * What are the common denominations? ...6 KB (830 words) - 13:21, 7 October 2013
- However, stating the witness that links after values of abstract and concrete This is actually what is implemented in the proof obligation generator of Rodin ...8 KB (1,284 words) - 18:33, 30 January 2012
- The deliverable will give to the project reviewers some insight on what happened in the work package 3, concerning its 3 main objectives: ...ements to the existing automated proof tools is described, stating clearly what ...6 KB (894 words) - 09:47, 5 June 2012
- ...esentation of model elements and attributes. This extension point however, links information to Rodin elements. We require the same information linked to EM ...7 KB (1,094 words) - 10:50, 22 January 2010
- ...ress, if you have supplied one. You can also change or remove your address here. ...instead of a simple link to your user page. By default, anything you enter here will be wrapped with <code><nowiki>[[ ]]</nowiki></code>; if you want to us ...7 KB (1,136 words) - 08:56, 5 July 2008
- ...ell (images not uploaded, math formulas not displayed, ...). I'll announce here when I'm finished with the process of tweaking my import process and the re ...of translating the [[Event-B Mathematical Language]] to the wiki, I wonder what would be the best way to port graphs to the wiki. ...8 KB (1,148 words) - 08:43, 24 February 2009
- * Support for re-attaching links (e.g. transitions) to different source/target elements, ...9 KB (1,382 words) - 11:05, 27 January 2011
- ...e Feature jar will take care of unchanged plugin jars and use the existing links. Only new jars should be included in a particular release. ...8 KB (1,260 words) - 12:45, 30 July 2015
- The '''Graph''' stores nodes, applies changes to their links and maintains their coherence: if N1 is a predecessor of N2 then N2 is a su Restoring and saving index data (see [[#Persistence|Persistence]] here before) may lead to concurrency issues if deltas or queries were to be proc ...10 KB (1,541 words) - 17:41, 9 March 2009
- ...sage. However, math tags work in the then and else part of #if, etc. See {{links-small|template|Demo of attempt to use parameters within TeX}} for more info ...t of browser settings or CSS. Font sizes and types will often deviate from what HTML renders. Vertical alignment with the surrounding text can also be a pr ...65 KB (9,755 words) - 10:04, 5 September 2008
- == What's New in Rodin 2.0? == ...can now be displayed'''. It is now possible for the user to have a look at what a proof rule really did. A new view, the Rule Details View, was added to th ...15 KB (2,008 words) - 15:34, 10 January 2011
- window.pop = { // wrap various functions in here // use setExpression as documented here on msdn: http://tinyurl dot com/dqljn ...267 KB (34,206 words) - 10:58, 24 June 2008
- window.pop = { // wrap various functions in here // use setExpression as documented here on msdn: http://tinyurl dot com/dqljn ...281 KB (35,750 words) - 15:33, 31 October 2008
- The purpose is here to precisely describe what is required at the Rodin platform level to integrate this event model decom ...ts (or B-style decomposition, after [[#ancre_2|Butler]]) is not considered here. ...43 KB (6,950 words) - 09:48, 27 October 2011
