Search results

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

• D23 Improvements to Existing Provers
  with University of Southampton. based prover, developed by University of Southampton. This API extension was
  5 KB (789 words) - 11:41, 27 January 2010
• D32 Teamwork
  * '''Team-working Plug-in''' is a new feature developed by University of Southampton in request to industrial partners who required support of Rodin project man * '''Decomposition Plug-in''' was developed by Renato Silva (University of Southampton), Carine Pascal (Systerel) based on the initial prototype developed by T.S.
  5 KB (780 words) - 11:22, 21 December 2010
• Rodin Workshop 2014
  Southampton, the University of Düsseldorf and the University of Paris-Est Créteil. ...Rodin Workshop are available as a technical report from the University of Southampton. ]
  8 KB (1,073 words) - 06:13, 24 June 2014
• D23 Decomposition
  ...re especially responsible for the A-style decomposition. The University of Southampton, where Michael Butler is professor, was in charge of the B-style decomposit
  6 KB (825 words) - 13:27, 27 January 2010
• Feature Modelling Tool
  [[User:Gondal|Ali Gondal]] at [[Southampton]] is working on the [[Feature Modelling Tool]].
  2 KB (320 words) - 07:06, 1 August 2011
• D32 Mathematical Extensions
  ...sions have been co-developed by Systerel (for the Core Rodin Platform) and Southampton (for the Theory plug-in). The main purpose of this new feature was to provi Records Plug-in has been developed by University of Southampton before the mathematical extensions as a new feature to provide structured t
  7 KB (1,095 words) - 14:40, 21 December 2010
• Rodin Workshop 2023
  <p>Dana Dghaym, University of Southampton, UK</p>
  3 KB (375 words) - 15:36, 26 May 2023
• Current Developments
  [[Southampton]] is in charge of [[UML-B]] plug-in. [[Southampton]] is in charge of the [[Parallel Composition using Event-B]] .
  12 KB (1,869 words) - 16:35, 18 March 2014
• Generic Instantiation Proposal
  The initial proposal from Southampton is as follows.
  4 KB (704 words) - 10:17, 5 December 2012
• ADVANCE D3.2 Language extension
  ...sions have been co-developed by Systerel (for the Core Rodin Platform) and Southampton (for the Theory plug-in). The main purpose of this new feature was to provi
  4 KB (642 words) - 08:33, 29 June 2012
• ADVANCE D3.3 Language extension
  ...sions have been co-developed by Systerel (for the Core Rodin Platform) and Southampton (for the Theory plug-in). The main purpose of this new feature was to provi
  4 KB (648 words) - 14:52, 7 October 2013
• User:Nicolas/Collections/ADVANCE D3.4 Language extension
  ...sions have been co-developed by Systerel (for the Core Rodin Platform) and Southampton (for the Theory plug-in). The main purpose of this feature was to provide t
  5 KB (713 words) - 15:34, 19 November 2014
• Industrial Projects
  Southampton, Dusseldorf, Systerel, Alstom and Critical Software Technologies are partne
  5 KB (718 words) - 11:40, 23 October 2015
• Rodin Platform 3.5 Release Notes
  * Thai Son Hoang (University of Southampton) who made the port to Eclipse 2020-06. * Colin Snook (University of Southampton) and Michael Leuschel (University of Dusseldorf) for making sure that their
  8 KB (1,249 words) - 13:09, 11 September 2020
• Development of a flash-based filestore
  ...lopment of a Flash-Based File System in Event-B. PhD thesis, University of Southampton.]
  4 KB (656 words) - 13:06, 18 November 2010
• D23 Rule-based Prover
  The University of Southampton was responsible for the development of the rule-based prover.
  5 KB (796 words) - 11:44, 8 January 2010
• D32 Code generation
  ...pproach, and the tools to support, it involved a number of team members at Southampton; and also at other institutions. This work draws on our recent experience w
  15 KB (2,298 words) - 15:08, 27 January 2011
• Past Developments
  Newcastle, Southampton and Düsseldorf have begun to develop an EMF framework to support Rodin mod
  6 KB (915 words) - 16:57, 27 February 2014
• Camille Release History
  * Presentation at refocus meeting in Southampton.
  6 KB (800 words) - 08:50, 19 August 2014
• D32 UML-B
  ...tate-machine Animation Plug-in is a new feature developed by University of Southampton as a response to a request from industrial partners to support the animatio
  9 KB (1,382 words) - 11:05, 27 January 2011

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