Search results
From Event-B
Jump to navigationJump to searchCreate the page "Southampton" on this wiki! See also the search results found.
- 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
- ...the workshop will be available as a technical report at the University of Southampton. Asieh Salehi Fathabadi, University of Southampton2 KB (303 words) - 14:32, 19 May 2020
- == 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
- ...="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
- 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.page2 KB (356 words) - 12:46, 24 May 2018
- ...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
- ...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
- ...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 Hour4 KB (530 words) - 15:34, 23 March 2012
- ...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 and5 KB (766 words) - 09:59, 21 September 2011
- ...[http://eprints.soton.ac.uk/396443/ technical report] at the University of Southampton.'' Michael Butler, University of Southampton5 KB (664 words) - 18:29, 6 June 2016
- [[User:Gondal|Ali Gondal]] at [[Southampton]] is in charge of the [[Feature Composition Plug-in]].1 KB (192 words) - 10:15, 19 October 2010
- ==== Southampton Releases Update Site ==== The following framework plug-ins are also provided on the Southampton Releases Update Site. These plugins are installed automatically when requir9 KB (1,244 words) - 13:52, 1 April 2022
- |B2LaTeX || University of Southampton |Renaming || University of Southampton7 KB (963 words) - 11:30, 27 January 2010
- ...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
- Southampton, the University of Düsseldorf and the University of Paris-Est Créteil. Michael Butler, University of Southampton4 KB (521 words) - 13:15, 13 June 2013
- with University of Southampton. based prover, developed by University of Southampton. This API extension was5 KB (789 words) - 11:41, 27 January 2010
- * '''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
- 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
- ...re especially responsible for the A-style decomposition. The University of Southampton, where Michael Butler is professor, was in charge of the B-style decomposit6 KB (825 words) - 13:27, 27 January 2010
- [[User:Gondal|Ali Gondal]] at [[Southampton]] is working on the [[Feature Modelling Tool]].2 KB (320 words) - 07:06, 1 August 2011
- ...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 t7 KB (1,095 words) - 14:40, 21 December 2010
- <p>Dana Dghaym, University of Southampton, UK</p>3 KB (375 words) - 15:36, 26 May 2023
- [[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
- The initial proposal from Southampton is as follows.4 KB (704 words) - 10:17, 5 December 2012
- ...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 provi4 KB (642 words) - 08:33, 29 June 2012
- ...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 provi4 KB (648 words) - 14:52, 7 October 2013
- Southampton, Dusseldorf, Systerel, Alstom and Critical Software Technologies are partne5 KB (718 words) - 11:40, 23 October 2015
- * 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 their8 KB (1,249 words) - 13:09, 11 September 2020
- ...lopment of a Flash-Based File System in Event-B. PhD thesis, University of Southampton.]4 KB (656 words) - 13:06, 18 November 2010
- The University of Southampton was responsible for the development of the rule-based prover.5 KB (796 words) - 11:44, 8 January 2010
- ...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 w15 KB (2,298 words) - 15:08, 27 January 2011
- Newcastle, Southampton and Düsseldorf have begun to develop an EMF framework to support Rodin mod6 KB (915 words) - 16:57, 27 February 2014
- * Presentation at refocus meeting in Southampton.6 KB (800 words) - 08:50, 19 August 2014
- ...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 animatio9 KB (1,382 words) - 11:05, 27 January 2011
- ...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 tha20 KB (3,030 words) - 13:18, 18 July 2012
- For more information contact Andy Edmunds - University of Southampton - mailto:ae2@ecs.soton.ac.uk12 KB (1,741 words) - 08:25, 14 December 2010
- For more information contact Andy Edmunds - University of Southampton - mailto:ae2@ecs.soton.ac.uk11 KB (1,714 words) - 12:41, 2 September 2013
- ...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 utilise26 KB (3,961 words) - 13:04, 19 May 2020
- The code generation work is being lead by Southampton with initial input from Newcastle.11 KB (1,725 words) - 18:07, 7 December 2009
- ...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 c17 KB (2,568 words) - 09:03, 19 October 2015
- ...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 u35 KB (5,228 words) - 10:12, 23 April 2012
- ...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
- ...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