Search results

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

• 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
• Code Generation Tutorial
  * Select the Edit tab.
  12 KB (1,741 words) - 08:25, 14 December 2010
• Rodin Platform 3.2 Release Notes
  :# edit rodin.ini, in the program argument part (before vmargs), add
  9 KB (1,317 words) - 11:09, 6 July 2017
• Generic Event-B EMF extensions
  (Note - the adapter factory is generated by the EMF genmodel in the edit plugin).
  13 KB (1,988 words) - 11:01, 30 May 2020
• Rodin Index Design
  Of course, the database will change when users edit their models. We therefore must define a policy for updating the index whe
  14 KB (2,204 words) - 12:58, 12 October 2009
• D45 Scalability
  ...another editor was to get a more modest and ergonomic way to visualize and edit the models. The models being presented through styled text pretty printing
  13 KB (1,991 words) - 20:57, 20 April 2012
• Rodin Platform 2.3 Release Notes
  Bug 1954442: Too many handles used by Edit page on Windows
  11 KB (1,401 words) - 09:39, 8 November 2011
• Rodin Platform 2.1 Release Notes
  Bug 1954442: Too many handles used by Edit page on Windows
  10 KB (1,277 words) - 13:45, 26 July 2011
• Rodin Platform 2.2 Release Notes
  Bug 1954442: Too many handles used by Edit page on Windows
  10 KB (1,354 words) - 13:31, 1 July 2011
• Rodin Platform 2.4 Release Notes
  Bug 1954442: Too many handles used by Edit page on Windows
  11 KB (1,542 words) - 08:35, 1 March 2012
• Rodin Platform 2.5 Release Notes
  Bug 1954442: Too many handles used by Edit page on Windows
  11 KB (1,478 words) - 17:32, 2 May 2012

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