Search results

From Event-B
Jump to: navigation, search
  • |title = Community |content = Main Page/Community
    2 KB (194 words) - 17:32, 5 April 2011
  • .... ''Please contributes informations about your own development to keep the community informed''
    12 KB (1,869 words) - 16:35, 18 March 2014
  • ...s a gathering of some modeling feedbacks, which may be useful to the whole community. They come from:
    1 KB (153 words) - 13:44, 28 October 2008
  • [[Category:Community]]
    2 KB (223 words) - 09:23, 30 May 2013
  • * First of all: get feedback on your proposal from the community. The devel [[Mailing lists|mailing list]] is a good channel for that. Ask a * We want you to work in the open, with our community. Get on the [[Mailing lists|mailing lists]], both to ask for help and to pr
    10 KB (1,629 words) - 12:50, 12 August 2009
  • ...otential users and developers of the Rodin toolset and to foster a broader community of Rodin users and developers. For Rodin users the workshop provided an op
    5 KB (766 words) - 09:59, 21 September 2011
  • ...submit them again for educative or promotional purposes inside the DEPLOY community. Copyright is not an issue since the work will not be formally published an
    7 KB (1,003 words) - 20:08, 12 October 2009
  • === What are the main community channels? ===
    15 KB (2,372 words) - 16:29, 19 May 2015
  • This page explains how to share your theories with the community and how to get theories developed by other people.
    2 KB (396 words) - 10:47, 17 November 2010
  • ...otential users and developers of the Rodin toolset and to foster a broader community of Rodin users and developers.
    4 KB (530 words) - 15:34, 23 March 2012
  • ...gration plugin, while increasing the visibility of ProR in the Open Source community. The move of ProR from the University of Düsseldorf to the Eclipse Founda ...lipse Foundation Project''' - we were actively establishing an open source community around ProR. By recruiting engaged partners early on, development progress
    35 KB (5,228 words) - 10:12, 23 April 2012
  • The results of this work have been dicussed in the Rodin community and one of the proposed solution (a blockparser) has been selected to be im
    20 KB (3,030 words) - 13:18, 18 July 2012
  • ...rting mathematical and proof extensions has been a longing for the Event-B community for considerable time. Serious considerations have been made to ensure any
    4 KB (642 words) - 08:33, 29 June 2012
  • toolset and to foster a broader community of Rodin users and developers.
    4 KB (521 words) - 13:15, 13 June 2013
  • ...rting mathematical and proof extensions has been a longing for the Event-B community for considerable time. Serious considerations have been made to ensure any
    4 KB (648 words) - 14:52, 7 October 2013
  • toolset and to foster a broader community of Rodin users and developers.
    8 KB (1,073 words) - 06:13, 24 June 2014
  • users and developers of the Rodin toolset and to foster a broader community
    5 KB (664 words) - 18:29, 6 June 2016
  • users and developers of the Rodin toolset and to foster a broader community
    2 KB (356 words) - 12:46, 24 May 2018
  • users and developers of the Rodin toolset and to foster a broader community
    2 KB (294 words) - 09:58, 16 October 2017