Search results

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

• 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
• 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
• Current Developments
  This page sum up the known developments that are being done around or for the [[Rodin Platform]]. ''Please contributes informations abo ===== Work already performed =====
  12 KB (1,869 words) - 16:35, 18 March 2014
• D32 General Platform Maintenance
  ...(resp. corrective maintenance) has its origin in the DEPLOY description of work, and the various requests (resp. bug reports) listed by WP1-4 partners, dev ...ks are processed in the same way as the task planned in the description of work.
  9 KB (1,423 words) - 16:28, 14 November 2011
• Refactoring Framework
  ==Initial Work == Initial work towards implementation of this framework is described in [http://stups.hhu.
  11 KB (1,773 words) - 07:41, 12 January 2016
• UML-B FAQ
  ...conflicts with the more general definition of bridges the prover will not work properly. (It would be better if the type axiom for bridges was minimal and
  2 KB (386 words) - 22:23, 11 December 2008
• Rodin Platform 3.4 Release Notes
  ...RE (8 or later) installed on your computer. The Rodin application will not work with a previous version or with a 32-bit JRE. : Atelier B provers work more slowly; it can cause ML to not automatically discharge some sequents t
  5 KB (758 words) - 16:28, 7 March 2018
• Code Generation Activity
  ...all Epsilon manually, since the automatic install utility does not seem to work for this feature. We currently use the Epsilon interim update site availabl === Ongoing Work ===
  17 KB (2,568 words) - 09:03, 19 October 2015

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