Search results

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

• Rodin Platform 3.7 Release Notes
  Rodin will work on the following operating systems ...on 11 or later) installed on your computer. The Rodin application will not work with a previous version or with a 32-bit JRE.
  5 KB (703 words) - 14:37, 29 April 2022
• Generic Instantiation
  ...pton, Hitachi Ltd. and ETH Zurich are discussing on how to consolidate the work and merge the two plug-ins.
  2 KB (232 words) - 15:23, 4 July 2013
• Generating source bundles for inclusion in a target platform configuration
  For source plugins to work properly in a [[Using Rodin as Target Platform|target platform]] configurat ...hat the workspace is in the release revision (no further commits have been done). If this is not the case, switch the workspace into the release revision.
  2 KB (237 words) - 14:58, 10 March 2011
• D45 Model-based testing
  In the last year of DEPLOY, the work done on MBT proceeded according to the plan (summarized in the previous delivera ...fits well with the notion of Event-B refinement. It can also be adapted to work with decomposed Event-B models.
  7 KB (1,044 words) - 21:39, 20 April 2012
• Layout improvements in the event-B editor
  [[category:Work in progress]]
  1 KB (215 words) - 12:08, 12 August 2009
• Google Summer of Code 2009
  ...e improved. We like working on this project because this project makes our work more effective, and we hope you'll like it, too. Showing your motivation he == Getting things done ==
  10 KB (1,629 words) - 12:50, 12 August 2009
• DEPLOY Plenary Workshop 2009
  ...invite all the academic and industrial partners to submit papers about the work they carried out inside the DEPLOY project. ...purposes inside the DEPLOY community. Copyright is not an issue since the work will not be formally published and the presentation will remain internal to
  7 KB (1,003 words) - 20:08, 12 October 2009
• User:Pascal/Collections/Deploy Deliverable D23
  ...created (see [[#Contents | Contents]]) to give a brief description of the work that was carried on during the second year of the project (Feb 2009-Jan 201 ...improvement. More precisely, it shall first indicate the state before the work, the encountered difficulties, and shall highlight the requirements (eg. th
  4 KB (576 words) - 16:01, 26 January 2010
• SMT 1.4 Performance Results
  ...uite old previous version that was shipped and the good work that has been done since on the prover.
  2 KB (281 words) - 15:57, 11 September 2017
• UML-B Integration and Improvements
  ...]]. This will allow UML-B to be re-implemented as an extension to Event-B. Work has begun on this framework and resulting integrated tools will become avai [[Category:Work in progress]]
  5 KB (738 words) - 09:13, 4 March 2009
• Scenarios for Team-based Development
  ; (S-2) Multiple users work concurrently on an Event-B Project: In this scenario, it is expected that s ...file. This still leaves open the issue of how to enable multiple users to work on proofs a the same time. If every proof is represented by a single file,
  4 KB (670 words) - 14:38, 29 January 2009
• D32 Teamwork
  ...ss variables and less events and less proof obligations. This partition is done in a way that the sub-models (also referred as sub-components) are independ ...ning and revision control, provided by the SVN system. It was difficult to work on models in parallel and manage changes made by different parties, especia
  5 KB (780 words) - 11:22, 21 December 2010
• Past Developments
  This page sum up the developments recently done around or for the [[Rodin Platform]], which are integrated or compatibles w [[User:Maria|Maria Husmann]] was in charge of this exploratory work during her internship at [http://www.systerel.fr Systerel].
  6 KB (915 words) - 16:57, 27 February 2014
• Rodin Platform 3.5 Release Notes
  Rodin will work on the following operating systems ...ion 8 or later) installed on your computer. The Rodin application will not work with a previous version or with a 32-bit JRE.
  8 KB (1,249 words) - 13:09, 11 September 2020
• Rodin Platform 3.8 Release Notes
  Rodin will work on the following operating systems ...on 11 or later) installed on your computer. The Rodin application will not work with a previous version or with a 32-bit JRE.
  5 KB (775 words) - 12:00, 4 April 2023
• D23 Decomposition
  ...ay for several developers to share the parts of a decomposed model, and to work independently and possibly in parallel on them. ...nstance), mainly because of time constraints (in the DEPLOY description of work, the decomposition support is planned for end of 2009).
  6 KB (825 words) - 13:27, 27 January 2010
• UML-B notes for 2.1.0
  Inverse function ~ doesn't work with dot notation. Use normal event-B notation instead.
  1 KB (216 words) - 15:46, 28 January 2011
• Rodin Platform Welcome Page
  * Click on the '''Work with''' dropdown list and select the Atelier B provers update site.
  2 KB (322 words) - 16:45, 20 April 2010
• Extending the Index Manager
  ...ting file dependencies is delegated to indexers (however, if it is already done by indexers that run before yours, there is no need to do it twice, simply ...ndexer depends on others (see below), you can also get the result of their work.
  6 KB (969 words) - 13:17, 29 May 2009
• Rodin Platform 2.0.1 Release Notes
  Bug #3086746: Functional Image Rewrites does not work properly
  2 KB (248 words) - 15:58, 16 November 2010

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