Search results

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

View (previous 20 | next 20) (20 | 50 | 100 | 250 | 500)