Search results

From Event-B
Jump to navigationJump to search

Create the page "Link" on this wiki! See also the search results found.

  • Main Page
    |link = [[Template:Main Page/User Documentation|Edit]] |link = [[Template:Main Page/Developer Documentation|Edit]]
    2 KB (194 words) - 09:48, 19 May 2020
  • VHDL code generator
    Please follow the link for more details: [http://www.eb2vhdl.tk/]
    139 bytes (25 words) - 07:58, 28 May 2015
  • Defining a generator handler
    To link the Generator Action to your GMF diagram editor add an extension point like
    717 bytes (83 words) - 12:46, 29 December 2011
  • Event-B Classdiagrams
    ...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
  • Rodin Platform Releases
    <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</sp
    4 KB (532 words) - 06:51, 4 April 2023
  • Atomicity Decomposition
    ...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 atomi
    1 KB (166 words) - 15:46, 7 August 2012
  • DynamicContainer
    //Link in any extensions * Extensions can link additional EMF model content to this core model by defining a new EReferenc
    6 KB (506 words) - 12:00, 25 November 2009
  • Requirements Tutorial
    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
  • Extending the Rodin Structured Editor (How to extend Rodin Tutorial)
    ...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 on
    10 KB (1,503 words) - 13:34, 5 September 2013
  • EMF Compare Editor Investigation
    ...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 guess
    4 KB (623 words) - 19:48, 24 September 2009
  • Building Rodin Headless
    * 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 notes
    6 KB (928 words) - 15:50, 11 September 2020
  • Tool Development Roadmap
    |Link modelling of discrete behaviour with continuous behaviour |Link code generation to multi-simulation framework
    4 KB (584 words) - 09:50, 12 September 2013
  • ADVANCE Deliverable D3.3
    == Direct link with the DoW ==
    6 KB (830 words) - 13:21, 7 October 2013
  • Modelling with UML-B Class and Context Diagrams - Railway Interlocking Safety Requirements
    ...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
  • ADVANCE D3.3 Introduction
    Finally, a section is devoted to link the work planned for the last period of the project with the needs of WP1 a
    2 KB (325 words) - 17:32, 29 November 2013
  • Sharing theories
    ...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
  • Group refinement plugin
    ...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 remove
    7 KB (1,109 words) - 15:33, 31 August 2010
  • Event-B Examples
    ...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
  • Rodin Platform 2.8 Release Notes
    ...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); xulrunn
    6 KB (899 words) - 16:25, 9 July 2014
  • D32 Provers
    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 theorem
    11 KB (1,699 words) - 15:25, 27 January 2011
  • Rodin Platform 2.1 Release Notes
    :[[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%2
    10 KB (1,277 words) - 13:45, 26 July 2011
  • Modularisation Plug-in Release Notes
    ...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
  • Industrial Projects
    ...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
  • Group refinement
    ...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
  • Rodin Platform 3.6 Release Notes
    ...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
    4 KB (640 words) - 14:09, 25 May 2021
  • D32 Modes and Fault Tolerance
    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
  • Event-B Statemachines
    ...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
  • File Root Separation
    The link between files and internal elements is done through a root element. A
    6 KB (897 words) - 11:47, 29 January 2009
  • Rodin Platform 2.3 Release Notes
    ...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
  • Rodin Platform 3.7 Release Notes
    ...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
    5 KB (703 words) - 14:37, 29 April 2022
  • Rodin Platform 3.4 Release Notes
    ...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
    5 KB (758 words) - 16:28, 7 March 2018
  • Rodin Platform 2.6 Release Notes
    ...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); xulrunn
    10 KB (1,328 words) - 16:14, 3 August 2012
  • Rodin Platform 2.7 Release Notes
    ...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); xulrunn
    10 KB (1,301 words) - 07:11, 29 August 2013
  • Rodin Platform 2.2 Release Notes
    ...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
  • Revisiting Feasibility POs
    abstraction together with the witness that describes the link between the
    8 KB (1,284 words) - 18:33, 30 January 2012
  • Mode/FT Views
    ...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
  • Rodin Platform 2.4 Release Notes
    ...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); xulrunn
    11 KB (1,542 words) - 08:35, 1 March 2012
  • Rodin Platform 2.5 Release Notes
    ...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); xulrunn
    11 KB (1,478 words) - 17:32, 2 May 2012
  • Rodin Platform 3.8 Release Notes
    ...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
    5 KB (775 words) - 12:00, 4 April 2023
  • Development of a Heating Controller System
    ...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 o
    7 KB (1,119 words) - 10:06, 12 May 2011
  • Modularisation Plug-in Tutorial
    ...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 strategy
    8 KB (1,166 words) - 20:58, 10 November 2009
  • Extending the Rodin database (How to extend Rodin Tutorial)
    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
  • D32 General Platform Maintenance
    ...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, wit
    9 KB (1,423 words) - 16:28, 14 November 2011
  • D23 UML-B
    ...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 conc
    8 KB (1,224 words) - 15:53, 28 January 2010
  • Modularisation Plug-in
    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
  • Rodin Platform 3.3 Release Notes
    ...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
    7 KB (1,079 words) - 13:54, 12 July 2017
  • Rodin Platform 3.1 Release Notes
    ...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
    6 KB (909 words) - 13:48, 17 December 2014
  • UML-B Tutorial
    c. Click on “Sees” in the palette and create a link from your machine to the context
    11 KB (1,713 words) - 20:07, 18 April 2010
  • Rodin Platform 3.5 Release Notes
    ...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
    8 KB (1,249 words) - 13:09, 11 September 2020
  • ADVANCE D3.2 Model Checking
    We will provide a way to link up other Java-based simulation tools with BMotion Studio. Furthermore, besi
    11 KB (1,711 words) - 09:47, 26 June 2012
  • Rodin Platform 3.0 Release Notes
    ...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
    8 KB (1,195 words) - 16:35, 9 July 2014
  • Rodin Platform 3.2 Release Notes
    ...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
    9 KB (1,317 words) - 11:09, 6 July 2017
  • Membership in Goal
    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
  • Structured Types
    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
  • D45 Code Generation
    ...riate translators for each element of the model, whilst also providing the link to the predicate and expression translators provided by the new theory plug
    12 KB (1,818 words) - 08:31, 20 April 2012
  • Extending the project explorer
    ...Binding elements to describe which content extensions, common filters, and link helpers are visible to the viewer. A content extension or common filter is
    20 KB (2,461 words) - 16:33, 24 May 2010
  • D45 Scalability
    [[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
  • Migration to Eclipse 3.6
    Direct link : http://help.eclipse.org/helios/index.jsp
    12 KB (1,814 words) - 08:44, 30 June 2010
  • Extending the Static Checker (How to extend Rodin Tutorial)
    .... (//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
  • ADVANCE D3.3 General Platform Maintenance
    * Classes, attributes and associations link to (elaborate) existing data items (sets, constants or variables) that are
    16 KB (2,554 words) - 14:05, 8 October 2013
  • D23 ProB
    ...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
  • ADVANCE D3.2 General Platform Maintenance
    ...es (and, in this case, also contexts) and that diagrammatic model features link to and enhance existing Event-B elements rather than generate everything. T
    20 KB (3,030 words) - 13:18, 18 July 2012
  • Rodin Platform 2.0 Release Notes
    [[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
  • D32 Scalability
    ...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
  • Rodin Proving Perspective
    ...on a project, or by clicking the '''Configure project specific settings''' link on the "Auto/Post Tactic" preference page. This property page appears on th
    27 KB (4,348 words) - 08:56, 26 September 2011
  • The Proving Perspective (Rodin User Manual)
    ...on a project, or by clicking the '''Configure project specific settings''' link on the "Auto/Post Tactic" preference page. This property page appears on th
    27 KB (4,348 words) - 18:45, 28 September 2011
  • D45 Prover Enhancement
    ...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 <re
    21 KB (3,334 words) - 21:20, 20 April 2012
  • Event Model Decomposition
    ...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
Retrieved from ‘https://wiki.event-b.org/index.php/Special:Search’