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
• 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
• D23 Code Generation
  ...of work for DEPLOY that was not identified in the original Description of Work for the project. During the first year of the project, as the Deployment P The code generation work is being lead by Southampton with initial input from Newcastle.
  11 KB (1,725 words) - 18:07, 7 December 2009
• Rodin Platform 3.1 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. : Atelier B provers work more slowly; it can cause ML to not automatically discharge some sequents t
  6 KB (909 words) - 13:48, 17 December 2014
• Feature Modelling Tool
  [[Category:Work in progress]]
  2 KB (320 words) - 07:06, 1 August 2011
• ADVANCE D3.2 Model Checking
  * There is work in progress towards full support of Theory plug-in: support for external an The latter is particularly important in light of the Theory plug-in work.
  11 KB (1,711 words) - 09:47, 26 June 2012
• Requirements Tutorial
  ...ect Explorer. In order to work with the Requirements Plug-In, you need to work with the Navigator View. You can open it via Window > Show View > Other... ...te 1:''' While Identifier and Document can be edited here, it shouldn't be done (changes will be lost upon next synchronization).
  7 KB (995 words) - 15:44, 25 February 2009
• Rodin Developer Support
  The recommended practice is to work with a target platform, as described in how to adapt plug-ins that work with Rodin 2.7 to the new 3.0 API.
  8 KB (1,260 words) - 12:45, 30 July 2015
• D32 Code generation
  ...umber of team members at Southampton; and also at other institutions. This work draws on our recent experience with technologies such as ''Shared Event Dec ...mature tool. Nevertheless much insight has been gained in undertaking this work; it lays a foundation for future research, and will be useful since it will
  15 KB (2,298 words) - 15:08, 27 January 2011
• Revisiting Feasibility POs
  obligation <tt>FIS</tt> is supposed to work as a filter and prevent models from [[Category:Work done]]
  8 KB (1,284 words) - 18:33, 30 January 2012
• UML-B notes for 0.5.8
  Inverse function ~ doesn't work with dot notation. Use normal event-B notation instead.
  2 KB (353 words) - 12:45, 12 August 2009
• Isabelle for Rodin
  ...h or a path relative to the search path or a path relative to your current work directory. * Support for Windows is limited. Export of proof obligations does work. Invoking Isabelle from Rodin does not. The problem is to launch Isabelle t
  9 KB (1,317 words) - 10:07, 29 April 2013

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