Search results

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

• Generic Instantiation
  The proposal (from the University of Southampton) is as follows: [[Image:Generic Instantiation Proposal.pdf | Generic Instan A Generic Instantiation tool is developed for Event-B by the University of Southampton. See [http://wiki.event-b.org/index.php/Generic_Instantiation_Plug-in_User_
  2 KB (232 words) - 15:23, 4 July 2013
• Rodin Workshop 2020
  ...the workshop will be available as a technical report at the University of Southampton. Asieh Salehi Fathabadi, University of Southampton
  2 KB (303 words) - 14:32, 19 May 2020
• Rodin Workshop 2018 CFP
  == The 7th Rodin User and Developer Workshop, 5-8 June, 2018, Southampton, UK == https://www.southampton.ac.uk/abz2018/
  2 KB (294 words) - 09:58, 16 October 2017
• Tool Development Roadmap
  ...="9"|'''Automated Proof and Model-checking'''<br/>[Systerel / Düsseldorf / Southampton] |rowspan="9"|'''Language extension'''<br/>[Southampton / Systerel / Düsseldorf / All Partners]
  4 KB (584 words) - 09:50, 12 September 2013
• Rodin Workshop 2018
  The 7th Rodin workshop will be collocated with the [https://www.southampton.ac.uk/abz2018/ ABZ 2018 Conference] https://www.southampton.ac.uk/abz2018/participants/programme.page
  2 KB (356 words) - 12:46, 24 May 2018
• Rodin Workshop 2024
  ...the workshop will be available as a technical report at the University of Southampton. ...i-fathabadi Asieh Salehi Fathabadi], Senior Research Fellow, University of Southampton</p>
  3 KB (368 words) - 12:49, 15 April 2024
• Rodin Workshop 2021
  ...the workshop is now available as a [technical report] at the University of Southampton.'' <p>Chair: Asieh Salehi Fathabadi, University of Southampton, UK</p>
  4 KB (595 words) - 09:41, 29 June 2021
• Rodin Workshop 2012
  ...din User and Developer Workshop was held in July 2009 at the University of Southampton] while the [http://wiki.event-b.org/index.php/Rodin_Workshop_2010 second to * How to use the Rodin Theory Plug-in (Issam Maamria, University of Southampton), 1 Hour
  4 KB (530 words) - 15:34, 23 March 2012
• Rodin Workshop 2009
  ...of DEPLOY. In July 2009, DEPLOY organised a workshop at the University of Southampton to bring together existing and potential users and developers of the Rodin ...ort of the School of Electronics and Computer Science at the University of Southampton (especially the organisational work of Maggie Bond), the DEPLOY project and
  5 KB (766 words) - 09:59, 21 September 2011
• Rodin Workshop 2016
  ...[http://eprints.soton.ac.uk/396443/ technical report] at the University of Southampton.'' Michael Butler, University of Southampton
  5 KB (664 words) - 18:29, 6 June 2016
• Feature Composition Plug-in
  [[User:Gondal|Ali Gondal]] at [[Southampton]] is in charge of the [[Feature Composition Plug-in]].
  1 KB (192 words) - 10:15, 19 October 2010
• Rodin Platform 3.5.0 External Plug-ins
  ==== Southampton Releases Update Site ==== The following framework plug-ins are also provided on the Southampton Releases Update Site. These plugins are installed automatically when requir
  9 KB (1,244 words) - 13:52, 1 April 2022
• D23 General Platform Maintenance
  |B2LaTeX || University of Southampton |Renaming || University of Southampton
  7 KB (963 words) - 11:30, 27 January 2010
• D23 UML-B
  ...to the UML-B plug-in feature, which is the responsibility of University of Southampton. ...UML-B state-machine diagrams. This feature was developed by University of Southampton.
  8 KB (1,224 words) - 15:53, 28 January 2010
• Rodin Workshop 2013
  Southampton, the University of Düsseldorf and the University of Paris-Est Créteil. Michael Butler, University of Southampton
  4 KB (521 words) - 13:15, 13 June 2013
• 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
• 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
• D45 General Platform Maintenance
  ...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 ...h. Further development of the tool was a collaboration between ETH Zurich, Southampton and SYSTEREL. After some user feedback, the tool was improved in terms of u
  35 KB (5,228 words) - 10:12, 23 April 2012
• ADVANCE D3.3 General Platform Maintenance
  ...d component diagrams are planned for future developemnt. The University of Southampton is responsible for UML-B.
  16 KB (2,554 words) - 14:05, 8 October 2013
• D23 ProB
  ...ed out by University of Düsseldorf, with some support by the University of Southampton.
  17 KB (2,580 words) - 15:55, 28 January 2010