Search results

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

• Switch from CVS to Subversion
  ...e development platform. There is currently two plug-ins that are known to work quite well: [http://subclipse.tigris.org/ Subclipse] and [http://www.eclips Note that the filtering on <tt>CVSROOT</tt> didn't seem to work as expected: this directory still occurred in the SVN trunk and had to be r
  4 KB (710 words) - 09:37, 1 April 2009
• Rodin Platform 2.8 Release Notes
  ...JRE (6.0 or later) installed on your computer. The Rodin product will not work with a previous version. To run Rodin 64-bit, you need a 64-bit JRE. ...isplay a link instead of a html page and the '''Pretty Printer''' does not work); xulrunner-1.9.x must be installed.
  6 KB (899 words) - 16:25, 9 July 2014
• Developer Documentation
  * [[:Category:Work in progress]]
  2 KB (179 words) - 09:17, 20 November 2013
• D45 Model Checking
  ...on in order to support user defined operators from the Theory plug-in. The work on the feature is currently suspended until the Theory plug-in supports acc The need for constraint-based deadlock checking arose in the automotive work package, more precisely during the elaboration of the cruise control system
  7 KB (1,025 words) - 21:35, 20 April 2012
• User:Tommy/Collections/ADVANCE Delivrable D3.2
  ...le will give to the project reviewers some insight on what happened in the work package 3, concerning its 3 main objectives: ...created (see [[#Contents | Contents]]) to give a brief description of the work that was carried on during the first 10 months of the project (Oct 2011-Jul
  6 KB (894 words) - 09:47, 5 June 2012
• Template:Dev News/Archives
  ...tail&aid=2564269&group_id=108850&atid=651669 Fix Bug] Collapse all doesn't work ...ail&aid=2510121&group_id=108850&atid=651669 Fix Bug] CTRL+S doesn't always work
  7 KB (848 words) - 21:22, 5 April 2011
• User:Tommy/Collections/Deploy Deliverable D32
  ...created (see [[#Contents | Contents]]) to give a brief description of the work that was carried on during the second year of the project (Feb 2010-Jan 201 ...improvement. More precisely, it shall first indicate the state before the work, the encountered difficulties, and shall highlight the requirements (eg. th
  5 KB (699 words) - 14:52, 30 November 2010
• D32 Model-based testing
  ...tigate a version of MBT using Event-B models as test models. This research work provides a new feature in the Rodin platform, complementing the existing th ...were implemented and applied to message choreography models from SAP. They work fine for models with data with a small finite range. However, in case of va
  8 KB (1,215 words) - 15:14, 27 January 2011
• Auto-Completion Design
  [[Category:Work in progress]]
  1,001 bytes (119 words) - 14:53, 21 January 2010
• User:Tommy/Collections/Deploy Deliverable D45
  ...ontents | Contents]]). Each of them should give a brief description of the work that was carried on during the last year of the project (Feb 2011-April 201 ...improvement. More precisely, it shall first indicate the state before the work, the encountered difficulties, and shall highlight the requirements (eg. th
  5 KB (732 words) - 08:31, 14 February 2012
• 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

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