Search results
From Event-B
Jump to navigationJump to searchCreate the page "Link" on this wiki! See also the search results found.
- |link = [[Template:Main Page/User Documentation|Edit]] |link = [[Template:Main Page/Developer Documentation|Edit]]2 KB (194 words) - 09:48, 19 May 2020
- Please follow the link for more details: [http://www.eb2vhdl.tk/]139 bytes (25 words) - 07:58, 28 May 2015
- To link the Generator Action to your GMF diagram editor add an extension point like717 bytes (83 words) - 12:46, 29 December 2011
- ...orated. As a short cut, a button is provided to create a new data item and link to it in one step. ...ilable when in a Context (e.g. only constants and sets are within scope to link to and methods cannot be used in classes).6 KB (976 words) - 05:07, 6 October 2015
- <nowiki>| [[Image:My_plug-in_logo|30px]] || [[My plug-in info page link | My plug-in]] || version || <span style="color:#006400">available</span> | <nowiki>| [[Image:My_plug-in_logo|30px]] || [[My plug-in info page link | My plug-in]] || version || <span style="color:#8B4513"> not available</sp4 KB (532 words) - 06:51, 4 April 2023
- ...series of steps. A second weakness of Event-B is that there is no explicit link between such new events that represent a step in the decomposition of atomi1 KB (166 words) - 15:46, 7 August 2012
- //Link in any extensions * Extensions can link additional EMF model content to this core model by defining a new EReferenc6 KB (506 words) - 12:00, 25 November 2009
- A requirements map is the link between the requirements documents (managed outside Rodin) and the Event-B- ...ked. You can see that an element can be linked from its context menu. To link an element:7 KB (995 words) - 15:44, 25 February 2009
- ...ute to events. To do so, we need to create an attribute relation that will link our probabilistic attribute to events. Return to the MANIFEST.MF extensions # Set up a link to edit expressions of the Bound element in the UI (Bound elements carry on10 KB (1,503 words) - 13:34, 5 September 2013
- ...tried to alter the descriptors in the content type extensions to break the link to XML - I added a new descriptor that detects the root element of a machin E.g. there is a binding for an ecore type to link it to the "ModelContentMergeViewer" and ModelStructureMergeViewer". I guess4 KB (623 words) - 19:48, 24 September 2009
- * the correct link for the Rodin Handbook is provided in the parent pom file (<tt>org.eventb.p **The link "learn more" should point to the release notes6 KB (928 words) - 15:50, 11 September 2020
- |Link modelling of discrete behaviour with continuous behaviour |Link code generation to multi-simulation framework4 KB (584 words) - 09:50, 12 September 2013
- == Direct link with the DoW ==6 KB (830 words) - 13:21, 7 October 2013
- ...t diagram for the static parts and a Class Diagram for the varying parts. (Link the Classes to the ClassTypes using the Instances property of the Class).2 KB (271 words) - 13:07, 19 April 2011
- Finally, a section is devoted to link the work planned for the last period of the project with the needs of WP1 a2 KB (325 words) - 17:32, 29 November 2013
- ...adding an item in any other SourceForge tracker: by clicking the "Add new" link, then filling the form.2 KB (399 words) - 14:56, 14 June 2021
- ...abstract behaviour it is necessary to have a housekeeping event that would link the behaviour expressed on the hidden state with the refined abstract behav ...tion by allowing a user to forgo the variables and invariants necessary to link abstract and concrete behaviour. The intention is not to replace or remove7 KB (1,109 words) - 15:33, 31 August 2010
- ...in development is another version of the [[#Link State Routing Development|Link State Routing Development]] presented in 2008. === [http://deploy-eprints.ecs.soton.ac.uk/31/ Link State Routing Development]===9 KB (1,283 words) - 13:58, 5 July 2017
- ...rave Sans Mono font on your system.<br>You can download this font from the link [http://sourceforge.net/projects/rodin-b-sharp/files/Font_%20Brave%20Sans%2 ...with xulrunner-2.0 (for instance, it causes the welcome page to display a link instead of a html page and the '''Pretty Printer''' does not work); xulrunn6 KB (899 words) - 16:25, 9 July 2014
- In DEPLOY's fourth year, we intend to provide a link-up between Rodin and Isabelle/HOL. As Isabelle/HOL comes with link-ups to first-order solvers such as E<ref>S. Schulz. E - a brainiac theorem11 KB (1,699 words) - 15:25, 27 January 2011
- :[[Image:Rodin_Performances_Core_perf_simple3.png|700px|link=Rodin Performances|General Platform Performances]] ...e Brave Sans Mono font on your system. You can download this font from the link [http://sourceforge.net/projects/rodin-b-sharp/files/Font_%20Brave%20Sans%210 KB (1,277 words) - 13:45, 26 July 2011
- ...reacted upon by components depending on it - there is no proper dependency link. This is particularly problematic when cleaning and rebuilding a project.4 KB (601 words) - 23:58, 13 October 2009
- ...ial or research project, please feel free to add a short description and a link to this page.'''</span>5 KB (718 words) - 11:40, 23 October 2015
- ...hile the events defining the actual computation steps would have no formal link to the abstract event.5 KB (777 words) - 23:20, 6 December 2010
- ...e Brave Sans Mono font on your system. You can download this font from the link [http://sourceforge.net/projects/rodin-b-sharp/files/Font_%20Brave%20Sans%24 KB (640 words) - 14:09, 25 May 2021
- A user builds and checks a Mode/FT view in the diagram editor, makes a link to an Event-B model, and proves that the model indeed implements the view.5 KB (816 words) - 17:37, 3 December 2010
- ...manually edit the extends of the implicit context in the refined level to link to the abstract implicit context. However, you can only do this using the '13 KB (2,134 words) - 08:04, 6 October 2015
- The link between files and internal elements is done through a root element. A6 KB (897 words) - 11:47, 29 January 2009
- ...e Brave Sans Mono font on your system. You can download this font from the link [http://sourceforge.net/projects/rodin-b-sharp/files/Font_%20Brave%20Sans%2 ...with xulrunner-2.0 (for instance, it causes the welcome page to display a link instead of a html page); xulrunner-1.9.x must be installed.11 KB (1,401 words) - 09:39, 8 November 2011
- ...e Brave Sans Mono font on your system. You can download this font from the link [http://sourceforge.net/projects/rodin-b-sharp/files/Font_%20Brave%20Sans%25 KB (703 words) - 14:37, 29 April 2022
- ...e Brave Sans Mono font on your system. You can download this font from the link [http://sourceforge.net/projects/rodin-b-sharp/files/Font_%20Brave%20Sans%25 KB (758 words) - 16:28, 7 March 2018
- ...e Brave Sans Mono font on your system. You can download this font from the link [http://sourceforge.net/projects/rodin-b-sharp/files/Font_%20Brave%20Sans%2 ...with xulrunner-2.0 (for instance, it causes the welcome page to display a link instead of a html page and the '''Pretty Printer''' does not work); xulrunn10 KB (1,328 words) - 16:14, 3 August 2012
- ...rave Sans Mono font on your system.<br>You can download this font from the link [http://sourceforge.net/projects/rodin-b-sharp/files/Font_%20Brave%20Sans%2 ...with xulrunner-2.0 (for instance, it causes the welcome page to display a link instead of a html page and the '''Pretty Printer''' does not work); xulrunn10 KB (1,301 words) - 07:11, 29 August 2013
- ...e Brave Sans Mono font on your system. You can download this font from the link [http://sourceforge.net/projects/rodin-b-sharp/files/Font_%20Brave%20Sans%2 ...with xulrunner-2.0 (for instance, it causes the welcome page to display a link instead of a html page); xulrunner-1.9.x must be installed.10 KB (1,354 words) - 13:31, 1 July 2011
- abstraction together with the witness that describes the link between the8 KB (1,284 words) - 18:33, 30 January 2012
- ...f the mode (see a list of POs to be generated below). The same way, we can link the transition to the next mode ''train_stopped'' with some events <math>\{ Changes to POs. Now a single EVT_G po is covering the link between events and associated modes and transitions. SWITCH po is removed.21 KB (3,472 words) - 20:32, 26 June 2015
- ...e Brave Sans Mono font on your system. You can download this font from the link [http://sourceforge.net/projects/rodin-b-sharp/files/Font_%20Brave%20Sans%2 ...with xulrunner-2.0 (for instance, it causes the welcome page to display a link instead of a html page and the '''Pretty Printer''' does not work); xulrunn11 KB (1,542 words) - 08:35, 1 March 2012
- ...e Brave Sans Mono font on your system. You can download this font from the link [http://sourceforge.net/projects/rodin-b-sharp/files/Font_%20Brave%20Sans%2 ...with xulrunner-2.0 (for instance, it causes the welcome page to display a link instead of a html page and the '''Pretty Printer''' does not work); xulrunn11 KB (1,478 words) - 17:32, 2 May 2012
- ...e Brave Sans Mono font on your system. You can download this font from the link [http://sourceforge.net/projects/rodin-b-sharp/files/Font_%20Brave%20Sans%25 KB (775 words) - 12:00, 4 April 2023
- ...Tasking Event-B tutorial starts [[Tasking Event-B Tutorial|here]]. Also a link to an archive file, which includes the complete development, can be found o7 KB (1,119 words) - 10:06, 12 May 2011
- ...e of the tutorial is to demonstrate the use of modules in a development, a link to a module appears very early - in the first refinement step. The strategy8 KB (1,166 words) - 20:58, 10 November 2009
- Click on the "class*:" link to open a wizard that will help us to create this class.9 KB (1,496 words) - 17:44, 4 September 2013
- ...latform release date. Thus, since Rodin 2.0 release, it has been chosen to link the contents of the release notes text file included in Rodin releases, wit9 KB (1,423 words) - 16:28, 14 November 2011
- ...Some further experimentation was needed in order to understand the need to link transitions of the nested state-machines with those in their parent. A conc8 KB (1,224 words) - 15:53, 28 January 2010
- calls. The module invariant and action parts must be extended to link with the state of the included subordinate module. Although a module is add ...a module is similar to constructing a refinement of a machine. The formal link between a machine and an interface is declared using the new '''Implements'18 KB (2,784 words) - 10:57, 6 September 2010
- ...e Brave Sans Mono font on your system. You can download this font from the link [http://sourceforge.net/projects/rodin-b-sharp/files/Font_%20Brave%20Sans%27 KB (1,079 words) - 13:54, 12 July 2017
- ...e Brave Sans Mono font on your system. You can download this font from the link [http://sourceforge.net/projects/rodin-b-sharp/files/Font_%20Brave%20Sans%26 KB (909 words) - 13:48, 17 December 2014
- c. Click on “Sees” in the palette and create a link from your machine to the context11 KB (1,713 words) - 20:07, 18 April 2010
- ...e Brave Sans Mono font on your system. You can download this font from the link [http://sourceforge.net/projects/rodin-b-sharp/files/Font_%20Brave%20Sans%28 KB (1,249 words) - 13:09, 11 September 2020
- We will provide a way to link up other Java-based simulation tools with BMotion Studio. Furthermore, besi11 KB (1,711 words) - 09:47, 26 June 2012
- ...e Brave Sans Mono font on your system. You can download this font from the link [http://sourceforge.net/projects/rodin-b-sharp/files/Font_%20Brave%20Sans%28 KB (1,195 words) - 16:35, 9 July 2014
- ...e Brave Sans Mono font on your system. You can download this font from the link [http://sourceforge.net/projects/rodin-b-sharp/files/Font_%20Brave%20Sans%29 KB (1,317 words) - 11:09, 6 July 2017
- Then, it will search a link between these hypotheses so that the sequent can be discharged.19 KB (3,362 words) - 13:50, 5 June 2014
- Later we will look at a ''constructor-based'' approach and make the link between the two approaches.18 KB (2,643 words) - 12:41, 12 August 2009
- ...riate translators for each element of the model, whilst also providing the link to the predicate and expression translators provided by the new theory plug12 KB (1,818 words) - 08:31, 20 April 2012
- ...Binding elements to describe which content extensions, common filters, and link helpers are visible to the viewer. A content extension or common filter is20 KB (2,461 words) - 16:33, 24 May 2010
- [[Image:800px-Rodin_Performances_Core_perf_simple3_nos.png|700px|link=Rodin Performances|General Platform Performances]]<br>13 KB (1,991 words) - 20:57, 20 April 2012
- Direct link : http://help.eclipse.org/helios/index.jsp12 KB (1,814 words) - 08:44, 30 June 2010
- .... (//FIXME complete the static checker page, to add infos about states and link it here).<br>18 KB (2,534 words) - 13:53, 5 September 2013
- * Classes, attributes and associations link to (elaborate) existing data items (sets, constants or variables) that are16 KB (2,554 words) - 14:05, 8 October 2013
- ...n Studio comes with a graphical editor to arrange graphical components and link them with the formal model.17 KB (2,580 words) - 15:55, 28 January 2010
- ...es (and, in this case, also contexts) and that diagrammatic model features link to and enhance existing Event-B elements rather than generate everything. T20 KB (3,030 words) - 13:18, 18 July 2012
- [[Rodin_Platform_2.0_External_Plug-ins | > Link to the External plug-in's page <]]15 KB (2,008 words) - 15:34, 10 January 2011
- ...hile the events defining the actual computation steps would have no formal link to the abstract event.19 KB (2,944 words) - 15:28, 27 January 2011
- ...on a project, or by clicking the '''Configure project specific settings''' link on the "Auto/Post Tactic" preference page. This property page appears on th27 KB (4,348 words) - 08:56, 26 September 2011
- ...on a project, or by clicking the '''Configure project specific settings''' link on the "Auto/Post Tactic" preference page. This property page appears on th27 KB (4,348 words) - 18:45, 28 September 2011
- ...ve manner, i.e., by declaring new inference and rewrite rules. It provides link-ups to several competition winning automated theorem provers such as Z3 <re21 KB (3,334 words) - 21:20, 20 April 2012
- ...e decomposition of a given machine <math>M</math>, and to establish how to link the sub-contexts to the sub-machines.43 KB (6,950 words) - 09:48, 27 October 2011