Search results

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

• Railway Interlocking Feedback
  an overview of the work done and of some of the results. == Description of Work ==
  6 KB (967 words) - 12:57, 28 October 2008
• EMF framework for Event-B/Extensibility Issues
  ...mplementation-oriented view. That is, it would be nicer if extenders could work at a more model-oriented level and not have to understand (and get right) d ...ng new attributes and collections to this subclass. However, this does not work retrospectively for previously created models. Also, extensions are effecti
  7 KB (1,094 words) - 10:50, 22 January 2010
• Rodin Platform 3.6 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.
  4 KB (640 words) - 14:09, 25 May 2021
• Deploy
  The work of the project will be driven by the tasks of achieving and evaluating indu
  1 KB (174 words) - 11:11, 18 September 2008
• Model Critic
  [[Category:Work in progress]]
  1 KB (176 words) - 07:06, 1 August 2011
• Teamwork Requirements
  It would be great if two people work independtly on different proofs that the discharged proof obligations could
  1,010 bytes (157 words) - 10:00, 22 October 2009
• ADVANCE D3.3 Model Checking
  * There is work in progress towards support of the upcoming 2.0 version of the Theory plug- The work on physical unit support has been completed and is available as an optional
  6 KB (1,016 words) - 10:41, 23 September 2013
• ADVANCE Deliverable D3.3
  ...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 second period of the project (Sept 2012-Sept 201
  6 KB (830 words) - 13:21, 7 October 2013
• UML-B notes for 2.0.1
  Inverse function ~ doesn't work with dot notation. Use normal event-B notation instead.
  1 KB (162 words) - 19:48, 17 October 2010
• 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
• 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
• 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

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