Search results

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

• Talk:Single View Design
  : Fine with me... thank you for your work and cleaning on the wiki ! [[User:Mathieu|mathieu]] 14:21, 26 March 2010 (U ::It's done, ''de rien'' I just did some changes while I read the articles. [[User:Jrlo
  638 bytes (92 words) - 18:37, 26 March 2010
• User Documentation Overhaul
  == Description of Work and Progress == ...te page [[Documentation Overhaul DoW]] that lists the Description of Work, Work Packages and their progress.
  5 KB (720 words) - 11:28, 15 September 2011
• UML-B notes for 0.4.4
  ...cking on the transition name inside the statemachine figure. (This dosen't work for nested statemachines because they do not appear on the class diagram).
  778 bytes (122 words) - 12:15, 4 March 2009
• EMF Compare Editor Investigation
  # doing this does not work because the text compare editor opens in preference (I think this is becaus ...ent type extensions (rodin core, eventb core etc) but this did not seem to work
  4 KB (623 words) - 19:48, 24 September 2009
• Event-B to SMT-LIB
  ...[http://decert.gforge.inria.fr/deliverable/D1-RequirementAnalysis-2009.pdf Work Package 1] of the project. Using the [http://www.smtlib.org/ SMT-LIB] stand ...eoretic constructs from each other and simplifies predicates. Once this is done, the Event-B Abstract Syntax Tree to be translated in SMT-LIB is restricted
  5 KB (797 words) - 10:29, 24 October 2011
• Rodin Platform 3.4.0 External Plug-ins
  ...:green"> available </span> || ?.x.x || || || Checked and appears to still work in Rodin 3.4 - cfsnook 12/12/09 ...aurent.voisin@systerel.fr Laurent Voisin] || Checked and appears to still work in Rodin 3.4 - cfsnook 12/12/09
  6 KB (855 words) - 16:00, 12 December 2019
• Event-B XText Front-end
  The Event-B XText editors (i.e., XContext and XMachine editors) do not work directly on the Rodin files. Instead, they operate on the separate XContext
  785 bytes (113 words) - 23:20, 21 July 2017
• User:Tommy/Collections/Release Notes Template
  ...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.
  4 KB (652 words) - 15:59, 31 October 2012
• AnimB roadmap
  [[Category:Work in progress]]
  1 KB (160 words) - 20:27, 10 March 2009
• D23 Introduction
  ...9-Jan 2010), in the course of the WP9 ''Tooling research and development'' work package, and brings new perspectives for the coming year.
  3 KB (399 words) - 11:20, 27 January 2010
• 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
• Template:Anchor
  ...u can always see the anchors list when editing this section only, and they work exactly like the heading's own regular anchor. (This is not the case when t ...or the anchors in a section title echo inside any section edit summary and work just as well.
  9 KB (1,362 words) - 13:23, 11 September 2008

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