Search results

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

• 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
• 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
• ADVANCE D3.2 General Platform Maintenance
  ...eworks are developed and maintained by Dr Colin Snook at the University of Southampton. Significant contributions (to the latest version) have been made by Vitaly ...pproach, and the tools to support it, involved a number of team members at Southampton. To this end a multi-tasking approach, which is conceptually similar to tha
  20 KB (3,030 words) - 13:18, 18 July 2012
• Code Generation Tutorial
  For more information contact Andy Edmunds - University of Southampton - mailto:ae2@ecs.soton.ac.uk
  12 KB (1,741 words) - 08:25, 14 December 2010
• Tasking Event-B Tutorial
  For more information contact Andy Edmunds - University of Southampton - mailto:ae2@ecs.soton.ac.uk
  11 KB (1,714 words) - 12:41, 2 September 2013
• EMF framework for Event-B
  ...or for composing two machines based on shared events has been developed by Southampton. This tool will be re-implemented to utilise the Event-B EMF framework. ...or composing two machines based on feature selection has been developed by Southampton. The tool (which is already based on EMF) will be re-implemented to utilise
  26 KB (3,961 words) - 13:04, 19 May 2020
• D23 Code Generation
  The code generation work is being lead by Southampton with initial input from Newcastle.
  11 KB (1,725 words) - 18:07, 7 December 2009
• Code Generation Activity
  ...ibes code generation approaches, and tools, developed at the University of Southampton between 2009 and 2015. It includes the Tasking Event-B approach; and also c
  17 KB (2,568 words) - 09:03, 19 October 2015

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