Search results

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

• User:Jastram
  = Michael Jastram = * Email: michael at jastram dot de
  260 bytes (36 words) - 08:21, 26 March 2009

• File:Requirements-quo-vadis.pdf Presentation regarding Requirements by Michael Jastram (896 KB) - 20:49, 30 April 2020

• WP6-Telco-Oct-2008
  The Organizer is [mailto:michael@jastram.de Michael Jastram]. * Michael J.
  1 KB (169 words) - 12:51, 12 August 2009

• File:Towards Modular Development in Event-B.pdf Towards Modular Development in Event-B (Thai Son Hoang, Hironobu Kuruma, and Michael Butler) (171 KB) - 20:50, 30 April 2020

• File:Theory Plug-in for Rodin 3.x.pdf Theory plug-in for Rodin 3.x (Thai Son Hoang, Asieh Salehi, Michael Butler, and Laurent Voisin) (100 KB) - 20:50, 30 April 2020

• File:Extending Code Generation to Support Platform-Independent Event-B Models.pdf ...e Generation to Support Platform-Independent Event-B Models (Asieh Salehi, Michael Butler, and Colin Snook) (68 KB) - 20:49, 30 April 2020

• Rodin Workshop 2013
  *Colin Snook, Michael Butler: ''iUML-B Diagram Developments'' *Neil Evans, Neil Grant, Helen Marshall, James Sharp, Michael Butler, John Colley, Andy Edmunds, Colin Snook: ''The Co-Design Architectur
  4 KB (521 words) - 13:15, 13 June 2013
• Event-B:About
  ...plug-in developer and would like to contribute to the wiki, please contact Michael Butler mjb@ecs.soton.ac.uk explaining briefly the nature of the material yo
  382 bytes (66 words) - 21:08, 9 July 2008
• Rodin Workshop 2014
  | || Asieh Salehi, Jean-Raymond Abrial, Michael Butler [http://wiki.event-b.org/images/Theory_RodinWorkshop_June2014.pdf] | || Asieh Salehi, Jean-Raymond Abrial, Michael Butler [http://wiki.event-b.org/images/JRA1_A_sld_math.pdf]
  8 KB (1,073 words) - 06:13, 24 June 2014
• Rodin Workshop 2010
  ...echnique for Structuring Refinement in Event-B''], Asieh Salehi Fathabadi, Michael Butler ...Rodin2010-sld-jastram.pdf ''The ProR Requirements Engineering Platform''], Michael Jastram
  5 KB (716 words) - 09:28, 22 November 2010
• Development of a flash-based filestore
  ...[http://deploy-eprints.ecs.soton.ac.uk/22/ Damchoom, Kriangsak and Butler, Michael and Abrial, Jean-Raymond (2008) Modelling and proof of a Tree-structured Fi ...http://deploy-eprints.ecs.soton.ac.uk/125/ Damchoom, Kriangsak and Butler, Michael Applying Event and Machine Decomposition to a Flash-Based Filestore in Even
  4 KB (656 words) - 13:06, 18 November 2010
• Rodin Workshop 2009
  Michael Butler, University of Southampton * Michael Butler, [http://wiki.event-b.org/images/Intro.pdf Introduction]
  5 KB (766 words) - 09:59, 21 September 2011
• User:Pascal/Collections/Deploy Deliverable D23
  :[[D23 ProB|ProB Improvements]] (Jens Bendisposto / Michael Jastram / Michael Leuschel / Daniel Plagge) :[[D23 TEXT|Text Editor Plug-In]] (Jens Bendisposto / Michael Jastram / Michael Leuschel)
  4 KB (576 words) - 16:01, 26 January 2010
• Rodin Workshop 2016
  ...ds Modular Development in Event-B - ''Thai Son Hoang, Hironobu Kuruma, and Michael Butler'' ([[Media:Towards Modular Development in Event-B.pdf|pdf]], [[Media * Theory plug-in for Rodin 3.x - ''Thai Son Hoang, Asieh Salehi, Michael Butler, and Laurent Voisin'' ([[Media:Theory Plug-in for Rodin 3.x.pdf|pdf]
  5 KB (664 words) - 18:29, 6 June 2016
• Rule-based Prover Plug-in
  :[http://eprints.ecs.soton.ac.uk/18269/ Issam Maamria, Michael Butler, Andrew Edmunds, and Abdolbaghi Rezazadeh. On an Extensible Rule-bas :[http://eprints.ecs.soton.ac.uk/18273/ Issam Maamria, Michael Butler, Andrew Edmunds, and Abdolbaghi Rezazadeh. On an Extensible Rule-bas
  2 KB (338 words) - 17:11, 9 July 2010
• CruiseControl
  ...dded, please, contact the maintainer, currently [mailto:michael@jastram.de Michael Jastram].
  1 KB (185 words) - 14:17, 5 May 2009
• Rodin Platform 2.1 External Plug-ins
  ...400">available</span> || || 20th Jan. 2012 || [mailto:michael@jastram.de Michael Jastram] || ProR support working with requirements. For traceability to Ev ...not available</span> || || 28th Feb. 2012 || [mailto:michael@jastram.de Michael Jastram] || We are currently working on a revised ProR-Rodin-Integration.
  6 KB (746 words) - 16:17, 24 January 2012
• Theory Plug-in
  * [http://deploy-eprints.ecs.soton.ac.uk/80/ Abrial, Jean-Raymond and Butler, Michael and Schmalz, Matthias and Hallerstede, Stefan and Voisin, Laurent. Mathemat * [http://deploy-eprints.ecs.soton.ac.uk/251/ Michael Butler, Issam Maamria. Mathematical Extensions Summary]
  7 KB (958 words) - 14:53, 14 June 2021
• Rodin Workshop 2012
  Michael Butler, University of Southampton Michael Leuschel, University of Düsseldorf
  4 KB (530 words) - 15:34, 23 March 2012
• User:Tommy/Collections/Deploy Deliverable D45
  :*ProR (Michael Jastram) :[[D45 Model-based testing| Model-based testing]] (Michael Leuschel, Alin Stefanescu)
  5 KB (732 words) - 08:31, 14 February 2012

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