Search results

From Event-B
Jump to navigationJump to search

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

Page title matches

  • User:Jastram
    = Michael Jastram = * [http://jastram.de/cv CV]
    260 bytes (36 words) - 08:21, 26 March 2009

Page text matches

  • User:Jastram
    = Michael Jastram = * [http://jastram.de/cv CV]
    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
  • CruiseControl
    ...ease, 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
    ...ilable</span> || || 20th Jan. 2012 || [mailto:michael@jastram.de Michael Jastram] || ProR support working with requirements. For traceability to Event-B, t ...ilable</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
  • WP6-Telco-Oct-2008
    The Organizer is [mailto:michael@jastram.de Michael Jastram].
    1 KB (169 words) - 12:51, 12 August 2009
  • Rodin Platform 2.2 External Plug-ins
    ...lor:#006400"> available </span>|| || || [mailto:michael@jastram.de Michael Jastram] || Use the Camille update site. <tt>http://www.stups.uni-duesseldorf.de/ca ...e </span> || 2.x.x || 16th May 2011 || [mailto:michael@jastram.de Michael Jastram] || Update site: http://update.pror.org<br>Project web site: http://pror.or
    7 KB (942 words) - 14:03, 3 October 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 Platform 2.3 External Plug-ins
    ...:#8B4513"> not available</span>|| || || [mailto:michael@jastram.de Michael Jastram] || Use the Camille update site. <tt>http://www.stups.uni-duesseldorf.de/ca ...le</span> || 2.x.x || 16th May 2011 || [mailto:michael@jastram.de Michael Jastram] || Update site: http://update.pror.org<br>Project web site: http://eclipse
    8 KB (1,053 words) - 09:10, 4 January 2012
  • Rodin Platform 2.6.0 External Plug-ins
    ...ble</span>|| 2.5.x || 27th July 2011 || [mailto:michael@jastram.de Michael Jastram] || Use the Camille update site. <tt>http://www.stups.uni-duesseldorf.de/ca ...lable</span> || 2.6.x || 08/01/2012 || [mailto:michael@jastram.de Michael Jastram] || Update site: <tt>http://update.formalmind.com/rodin</tt><br>Project web
    8 KB (1,105 words) - 07:29, 17 August 2012
  • Rodin Platform 2.4 External Plug-ins
    ...ble</span>|| 2.1.5 || 27th July 2011 || [mailto:michael@jastram.de Michael Jastram] || Use the Camille update site. <tt>http://www.stups.uni-duesseldorf.de/ca ...</span> || 2.x.x || 30th April 2012 || [mailto:michael@jastram.de Michael Jastram] || Update site: http://www.stups.uni-duesseldorf.de/pror_updates/<br>Proje
    8 KB (1,106 words) - 08:35, 17 May 2012
  • Rodin Platform 2.5.0 External Plug-ins
    ...ble</span>|| 2.5.x || 27th July 2011 || [mailto:michael@jastram.de Michael Jastram] || Use the Camille update site. <tt>http://www.stups.uni-duesseldorf.de/ca ...lable</span> || 2.5.x || 04/25/2012 || [mailto:michael@jastram.de Michael Jastram] || Update site: <tt>http://www.stups.uni-duesseldorf.de/pror_updates</tt><
    8 KB (1,138 words) - 14:32, 23 November 2012
  • Rodin Platform 2.0 External Plug-ins
    ...r:#006400">available</span> || || || [mailto:michael@jastram.de Michael Jastram] ||
    4 KB (475 words) - 18:40, 22 February 2011
  • Rodin Platform 2.7.0 External Plug-ins
    ...ked</span>|| 2.5.x || 27th July 2011 || [mailto:michael@jastram.de Michael Jastram] || Use the Camille update site. <tt>http://www.stups.uni-duesseldorf.de/ca ...ecked</span> || 2.6.x || 08/01/2012 || [mailto:michael@jastram.de Michael Jastram] || Update site: <tt>http://update.formalmind.com/rodin</tt><br>Project web
    12 KB (1,324 words) - 13:37, 3 June 2013
  • Rodin Platform 2.8.0 External Plug-ins
    ...ked</span>|| 2.5.x || 27th July 2011 || [mailto:michael@jastram.de Michael Jastram] || Use the Camille update site. <tt>http://www.stups.uni-duesseldorf.de/ca ...ecked</span> || 2.6.x || 08/01/2012 || [mailto:michael@jastram.de Michael Jastram] || Update site: <tt>http://update.formalmind.com/rodin</tt><br>Project web
    13 KB (1,455 words) - 13:43, 28 November 2014
  • Event-B:Village pump
    [[User:Jastram|Michael Jastram]] has put up a page to collect [[Scenarios for Team-based Development]]. I
    8 KB (1,148 words) - 08:43, 24 February 2009
  • Rodin Workshop 2009
    * Michael Jastram, [http://wiki.event-b.org/images/Requirements-quo-vadis.pdf Requirements Tr
    5 KB (766 words) - 09:59, 21 September 2011
  • Rodin Workshop 2010
    ...0-sld-jastram.pdf ''The ProR Requirements Engineering Platform''], Michael Jastram
    5 KB (716 words) - 09:28, 22 November 2010
  • User:Nicolas/Collections/ADVANCE Deliverable D3.4
    :* ProR (Michael Jastram/Lukas Ladenberger)
    5 KB (780 words) - 14:57, 6 October 2014
  • User:Tommy/Collections/Deploy Deliverable D45
    :*ProR (Michael Jastram)
    5 KB (732 words) - 08:31, 14 February 2012
  • ADVANCE Deliverable D3.3
    :* ProR (Michael Jastram/Lukas Ladenberger)
    6 KB (830 words) - 13:21, 7 October 2013

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

Retrieved from ‘https://wiki.event-b.org/index.php/Special:Search’