Search results

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

• 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
• Rodin Platform 2.6 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.
  10 KB (1,328 words) - 16:14, 3 August 2012
• Rodin Platform 2.4 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.
  11 KB (1,542 words) - 08:35, 1 March 2012
• Rodin Platform 2.5 Release Notes
  :* '''IUserSupport API simplification''': some operations of the user support work only on the proof tree in main memory. Therefore, they cannot raise any Rod ...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.
  11 KB (1,478 words) - 17:32, 2 May 2012
• Rodin Platform 2.7 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.
  10 KB (1,301 words) - 07:11, 29 August 2013
• EMF Compare Editor installation
  ...y, the Camille editor is very strict on dependencies, so although it would work fine with a minor update, it has to be removed before you can install the n
  3 KB (469 words) - 14:17, 21 October 2009
• Predicate Variables Extension
  ...nts (plug-in contributers) will be allowed to select the mode they want to work with. This verification will be done as follows: Check each occurrence of the <tt>typeCheck()</tt>, <tt>isTypeC
  3 KB (431 words) - 15:14, 18 February 2010
• ADVANCE D3.3 Improvement of automated proof
  ...unterexamples for proof obligations. Searching for a counterexample can be done effortlessly and without user interaction. If successful, the futility of a ...enumerations, ProB is able to tell if the search for a counterexample was done exhaustively. If this is the case, the proof obligation in question is disc
  7 KB (1,145 words) - 10:05, 8 October 2013
• Rodin Platform 2.3 Release Notes
  ...JRE (6.0 or later) installed on your computer. The Rodin product will not work with a previous version. * Linux: the internal browser does not work with xulrunner-2.0 (for instance, it causes the welcome page to display a l
  11 KB (1,401 words) - 09:39, 8 November 2011
• Proof Simplification
  [[Category:Work in progress]]
  3 KB (496 words) - 12:58, 12 August 2009
• DynamicContainer
  '''This did not work. It is not possible to dynamically add to statically generated EMF classes.
  6 KB (506 words) - 12:00, 25 November 2009
• Rodin Platform 3.0 Release Notes
  ...is due to limitations in Eclipse p2 (about conflict resolutions) and would work only if no plug-ins are installed... which makes it close to useless ! ...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.
  8 KB (1,195 words) - 16:35, 9 July 2014
• Rodin Platform 3.3 Release Notes
  ...va JRE (8 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
  7 KB (1,079 words) - 13:54, 12 July 2017
• Improved WD Lemma Generation
  This page describes work done for optimising well-definedness lemmas generated by the Core Rodin platform
  4 KB (617 words) - 09:43, 19 June 2012
• ADVANCE D3.2 General Platform Maintenance
  The following paragraphs will give an overview of the the work that has been performed concerning maintenance on the existing platform com Work on release 3.0 will start concurrently with development of Rodin 2.7 and wi
  20 KB (3,030 words) - 13:18, 18 July 2012
• Structured Types
  ...only wish to update some fields and leave others changed, this needs to be done by specifying explicitly that some fields This can be done by including the new field ''g'' as projection function on ''R'' in a cont
  18 KB (2,643 words) - 12:41, 12 August 2009
• D45 Code Generation
  ...evelopment of multi-tasking, embedded control systems. During the project, work has been undertaken to investigate automatic generation, from Event-B model ...tten. The translators are now implemented using Java only. In our previous work we attempted to make use of the latest model-to-model transformation techno
  12 KB (1,818 words) - 08:31, 20 April 2012
• D23 ProB
  Furthermore, the work was driven by requirements of Siemens and SAP; some tool development was al This required a considerable amount of work on improving the scalability of the ProB kernel, to be able to deal with la
  17 KB (2,580 words) - 15:55, 28 January 2010
• Using Rodin as Target Platform
  ...platform in the order given above, otherwise links to source files do not work correctly in Eclipse.
  4 KB (678 words) - 05:58, 24 October 2014
• Relevance Filter Plug-in
  have been found to work well.
  4 KB (569 words) - 07:04, 1 August 2011
• Rodin Platform 2.1 Release Notes
  ...eral platform performance.''' One of the main task of the scheduled future work, concerning the maintenance and evolution of Rodin, is to increase the plat ...se it]] and [[Preferences_for_the_automatic_tactics | the page on the work done about Preferences for the automatic tactics]]
  10 KB (1,277 words) - 13:45, 26 July 2011
• B2Latex
  Select the main Rodin Update site from the "work with:" field in the Help > Install New Software menu in Rodin. ...hoice. The latex documents are generated in the 'latex' folder like it was done in other previous releases.
  4 KB (718 words) - 17:22, 8 July 2016
• Modularisation Plug-in Release Notes
  * The plug-in cannot work alongside any other plug-in contributing SC and POG modules. It will try to
  4 KB (601 words) - 23:58, 13 October 2009
• Rodin Platform 2.2 Release Notes
  ...JRE (6.0 or later) installed on your computer. The Rodin product will not work with a previous version. * Linux: the internal browser does not work with xulrunner-2.0 (for instance, it causes the welcome page to display a l
  10 KB (1,354 words) - 13:31, 1 July 2011
• Documentation Overhaul DoW
  We expect that during this work, the rest of the documentation will start to fill up with placeholders (e.g ...roduce a guideline for Plugin developers for including references to their work in the handbook.
  9 KB (1,421 words) - 12:41, 8 December 2011
• Billaude's work to finish
  This page is here to describe the work that I started, but which is yet to be finished. ...ath> and <math>\upred</math> are proceeded. But, more re-writing should be done. Unfortunately, I did not take too much time to analyze all the possibiliti
  10 KB (1,685 words) - 11:50, 26 February 2013
• Generic Instantiation Plug-in User Guide
  ## In the ''Work with'' dropdown list, choose the location URL: Rodin
  5 KB (720 words) - 15:20, 4 July 2013
• Rodin Workshop 2009
  ...er Science at the University of Southampton (especially the organisational work of Maggie Bond), the DEPLOY project and additional government funding.
  5 KB (766 words) - 09:59, 21 September 2011
• Industrial Projects
  *: Also, internship positions are open to work in industry applying Formal Methods. Please contact Dinho (agrj@aes.com.br)
  5 KB (718 words) - 11:40, 23 October 2015
• Development Rules
  [[Category:Work in progress]]
  4 KB (671 words) - 12:45, 12 August 2009
• Rodin Platform 3.2 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
  9 KB (1,317 words) - 11:09, 6 July 2017

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