Search results
From Event-B
Jump to navigationJump to searchCreate the page "Michael" on this wiki! See also the search results found.
- = Michael Jastram = * Email: michael at jastram dot de260 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- 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 2020File: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 2020File: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- *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 Architectur4 KB (521 words) - 13:15, 13 June 2013
- ...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 yo382 bytes (66 words) - 21:08, 9 July 2008
- | || 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
- ...echnique for Structuring Refinement in Event-B''], Asieh Salehi Fathabadi, Michael Butler ...Rodin2010-sld-jastram.pdf ''The ProR Requirements Engineering Platform''], Michael Jastram5 KB (716 words) - 09:28, 22 November 2010
- ...[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 Even4 KB (656 words) - 13:06, 18 November 2010
- 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
- :[[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
- ...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
- :[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-bas2 KB (338 words) - 17:11, 9 July 2010
- ...dded, please, contact the maintainer, currently [mailto:michael@jastram.de Michael Jastram].1 KB (185 words) - 14:17, 5 May 2009
- ...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
- * [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
- Michael Butler, University of Southampton Michael Leuschel, University of Düsseldorf4 KB (530 words) - 15:34, 23 March 2012
- :*ProR (Michael Jastram) :[[D45 Model-based testing| Model-based testing]] (Michael Leuschel, Alin Stefanescu)5 KB (732 words) - 08:31, 14 February 2012