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

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