Search results

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

• Handbook Content Migration
  ...ndbook, before this project ends, allowing us to incorporate feedback from users of the Eclipse Help System as well.
  1 KB (240 words) - 11:42, 30 June 2011
• D32 Mathematical Extensions
  ...of two new clauses: record declarations and record extensions. Both enable users to define their custom reusable types, that are treated underline by Rodin Besides, we wanted to set up a way to publish and share theories for Rodin users, in order to constitute a database of pre-built theories for everyone to us
  7 KB (1,095 words) - 14:40, 21 December 2010
• Undo Redo
  ..., e.g. text editors. However, in the context of the Rodin platform editor, users do not modify a text file but a database of modelling elements. However, th
  4 KB (599 words) - 15:56, 28 January 2009
• Language of an Event-B Component
  ...nd it is not conceivable to have end-user editing them directly. Instead, users have the Proving UI for editing them in a friendly manner.
  4 KB (692 words) - 15:06, 20 November 2013
• Theory Plug-in
  ...t-B language and the proving infrastructure in a familiar fashion to Rodin users. This page provides useful information about the plug-in and its capabiliti ...ere not intentionally devised. Examples of operators that can be useful to users include the sequence operator (which was present in classical B mathematica
  7 KB (958 words) - 14:53, 14 June 2021
• D32 UML-B
  ...original aim of UML-B was to make formal modelling more accessible to new users. This aim remains valid and therefore the current non-integrated UML-B shou ...modelling but not with textual mathematical notations. Experienced Event-B users would also benefit from the visualisations provided by UML-B but they do no
  9 KB (1,382 words) - 11:05, 27 January 2011
• Rodin Platform 3.0.0 External Plug-ins
  ...[mailto:cfs@ecs.soton.ac.uk email] || Provided for plug-in developers. End users should not need to install this framework. It will be installed automatical ...mailto:cfs@ecs.soton.ac.uk email] || Provided for plug-in developers. End users should not need to install this framework. It will be installed automatical
  13 KB (1,415 words) - 07:56, 28 May 2015
• Rodin Platform 2.7.0 External Plug-ins
  ...[mailto:cfs@ecs.soton.ac.uk email] || Provided for plug-in developers. End users should not need to install this framework. It will be installed automatical ...mailto:cfs@ecs.soton.ac.uk email] || Provided for plug-in developers. End users should not need to install this framework. It will be installed automatical
  12 KB (1,324 words) - 13:37, 3 June 2013
• Development of a flash-based filestore
  ...developers and the software industry. We believe that these would convince users and make formal methods more accessible.
  4 KB (656 words) - 13:06, 18 November 2010
• CamilleX User Guide
  * Windows users '''must''' change the workspace text file encoding to '''UTF-8'''. This can
  2 KB (281 words) - 12:31, 9 March 2023
• D23 Improvements to Existing Provers
  that both industrial and academic users reported a lot of feedback on this ...the one hand by the Rodin platform (slow access), and on the other hand by users (project sharing).
  5 KB (789 words) - 11:41, 27 January 2010
• Flows Plug-in
  ...ther feedback from the users within the Project and encourage the external users to try out the plug-in and provide feedback and feature requests. There are
  4 KB (699 words) - 17:36, 3 December 2010
• D32 Teamwork
  ...es made by different parties, especially for big and complex models. Other users expressed a concern on safety aspect of collaborative development, thus poi
  5 KB (780 words) - 11:22, 21 December 2010
• Rodin Platform 2.8.0 External Plug-ins
  ...some plugins marked *** are available from a separate update site : http://users.ecs.soton.ac.uk/cfs/downloads/PluginsReleasesForRodin2_8/ which you will ne ...[mailto:cfs@ecs.soton.ac.uk email] || Provided for plug-in developers. End users should not need to install this framework. It will be installed automatical
  13 KB (1,455 words) - 13:43, 28 November 2014
• Rodin Platform 3.1.0 External Plug-ins
  ...[mailto:cfs@ecs.soton.ac.uk email] || Provided for plug-in developers. End users should not need to install this framework. It will be installed automatical ...mailto:cfs@ecs.soton.ac.uk email] || Provided for plug-in developers. End users should not need to install this framework. It will be installed automatical
  13 KB (1,452 words) - 09:38, 18 June 2015
• Rodin Workshop 2014
  is to bring together existing and potential users and developers of the Rodin toolset and to foster a broader community of Rodin users and developers.
  8 KB (1,073 words) - 06:13, 24 June 2014
• D23 Decomposition
  ...guide is to provide useful information for beginners and for more advanced users, in particular through a ''Tips and Tricks'' section). ...following wiki pages have been respectively written for developers and end-users to document the Event-B model decomposition:
  6 KB (825 words) - 13:27, 27 January 2010
• Rodin Platform 2.3 External Plug-ins
  ...3 ||<span style="color:green"> available</span>|| || 17th Oct. 2011 || || Users should not need to install this framework. It will be installed automatical ...3 ||<span style="color:green"> available</span>|| || 17th Oct. 2011 || || Users should not need to install this framework. It will be installed automatical
  8 KB (1,053 words) - 09:10, 4 January 2012
• Single View Design
  ...n between modelling and proving looked good during paper design. However, users reported that they were constantly switching between the two views. This is The navigator contains a tree of all projects and their contents. The users can choose between two ways how the machines and contexts will be presented
  5 KB (842 words) - 18:35, 26 March 2010
• Tracking Memory Leaks
  ...attempting to use this prover was allocating memory that was never freed. Users then had to manually
  2 KB (337 words) - 11:03, 10 November 2008

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