Search results

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

• UML-B Tutorial
  ...r the name on the text field of the diagram element. Alternatively you can edit any element properties in the Properties tab). ''If you want to experiment with the Event-B tools, you can edit the Event-B model in this view. However, any changes you make will not be f
  11 KB (1,713 words) - 20:07, 18 April 2010
• Rodin Platform 1.1 Release Notes
  ...t). To fix it, it is possible to specify XULRunner path to point to 1.9.0: edit "rodin.ini" and add the following line: Bug 1954442: Too many handles used by Edit page on Windows
  9 KB (1,298 words) - 10:06, 28 July 2010
• Mode/FT Views
  ==== Edit elements' properties ==== # Select the element you would like to edit - the properties will appear in the Properties view
  21 KB (3,472 words) - 20:32, 26 June 2015
• Developer FAQ
  === How do I extend the Event-B structure editor (the Edit Tab of the Event-B editor) for editing an attribute (which I added to the R
  15 KB (2,372 words) - 16:29, 19 May 2015
• D23 Decomposition
  A further version allowing to edit an existing decomposition configuration is planned with release 1.3 of the
  6 KB (825 words) - 13:27, 27 January 2010
• Rodin Proving Perspective
  ! scope="col" | Do not edit! This content has been migrated to Subversion. ...n be duplicated for further modification by the user. Indeed, the user can edit a profile and select it to run as automatic or post tactic. The idea is to
  27 KB (4,348 words) - 08:56, 26 September 2011
• The Proving Perspective (Rodin User Manual)
  ! scope="col" | Do not edit! This content has been migrated to Subversion. ...n be duplicated for further modification by the user. Indeed, the user can edit a profile and select it to run as automatic or post tactic. The idea is to
  27 KB (4,348 words) - 18:45, 28 September 2011
• Rodin Platform 2.4 External Plug-ins
  ...amille_updates</tt><br><span style="color:#8B4513">Warning: You should not edit models using other plug-ins. You might lose data contributed by plug-ins to
  8 KB (1,106 words) - 08:35, 17 May 2012
• Event-B Statemachines
  To edit a state machine in the diagram editor you simply double-click it in the nav ...ate an empty context to maintain the chain. Alternatively you can manually edit the extends of the implicit context in the refined level to link to the abs
  13 KB (2,134 words) - 08:04, 6 October 2015
• D23 Modularisation Plug-in
  * Structuring large specifications: it is difficult to read and edit a large model; there is also a limit to the size of a model that the platfo
  6 KB (921 words) - 11:43, 8 January 2010
• Event-B Qualitative Probability User Guide
  ** Solution: Add a bound to the model (using Edit page of the standard Rodin editor).
  6 KB (749 words) - 17:54, 21 March 2018
• EMF framework for Event-B
  ...user may edit this identifier to a new name that may or may not exist. The edit may be made without attempting to resolve the proxy so that the validity of ...cture Editor]], which will offer a pop-up text editor allowing the user to edit a single expression or a compound sub-component such as an event.
  26 KB (3,961 words) - 13:04, 19 May 2020
• ADVANCE Deliverable D3.3
  * See §4 of [http://wiki.event-b.org/images/Llncsdoc.pdf How to Edit Your Input File] for LLNCS formatting rules.
  6 KB (830 words) - 13:21, 7 October 2013
• Parallel Composition using Event-B
  ...ve(from Rodin 0.9). For Rodin 0.8.2, go to Resource or Java perspective to edit the file.
  7 KB (1,161 words) - 11:02, 4 July 2013
• Past Developments
  ...cates strongly that the current layout used in the default event-B editor (edit tab) is sub-optimal and severely hinders usability of the Rodin platform. I
  6 KB (915 words) - 16:57, 27 February 2014
• EMF framework for Event-B/Extensibility Issues
  * Generate the code and edit code
  7 KB (1,094 words) - 10:50, 22 January 2010
• ADVANCE D3.3 General Platform Maintenance
  ...nored. Consequently, users have to switch back to Rodin's native Editor to edit plug-in-specific modelling extensions. ...tributions and parsers for their extensions. By this users will be able to edit extended Event-B models solely through a text editor.
  16 KB (2,554 words) - 14:05, 8 October 2013
• Rodin Platform 1.3 Release Notes
  ...Alternatively, it is possible to specify XULRunner path to point to 1.9.0: edit "rodin.ini" and add the following line: Bug 1954442: Too many handles used by Edit page on Windows
  12 KB (1,642 words) - 13:21, 28 July 2010
• Rodin Platform 3.1 Release Notes
  :# edit rodin.ini, in the program argument part (before vmargs), add
  6 KB (909 words) - 13:48, 17 December 2014
• ADVANCE D3.2 General Platform Maintenance
  Consequently, users have to switch back to Rodin's native Editor to edit plug-in-specific modelling extensions. ...Camille will be implemented during the ADVANCE project to enable users to edit extended Event-B models solely through a text editor.
  20 KB (3,030 words) - 13:18, 18 July 2012

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