Search results

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

• Rodin Workshop 2013
  toolset and to foster a broader community of Rodin users and developers.
  4 KB (521 words) - 13:15, 13 June 2013
• User:Nicolas/Collections/ADVANCE D3.4 Language extension
  ...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
  5 KB (713 words) - 15:34, 19 November 2014
• Rodin Platform 3.5 Release Notes
  ...edback allowed us to greatly improve Rodin for the great good of the whole community. Ken was also the author of the [https://www3.hhu.de/stups/handbook/rodin/c
  8 KB (1,249 words) - 13:09, 11 September 2020
• Developer FAQ
  === What are the main community channels? ===
  15 KB (2,372 words) - 16:29, 19 May 2015
• Rodin Workshop 2016
  users and developers of the Rodin toolset and to foster a broader community
  5 KB (664 words) - 18:29, 6 June 2016
• Rodin Workshop 2014
  toolset and to foster a broader community of Rodin users and developers.
  8 KB (1,073 words) - 06:13, 24 June 2014
• Help:Talk pages
  ...ngside those of others, but it can also be more rewarding. This is how the community of wiki editors will make progress. Often it will feel more natural to enga
  6 KB (1,088 words) - 08:57, 5 July 2008
• DEPLOY Plenary Workshop 2009
  ...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
• Current Developments
  .... ''Please contributes informations about your own development to keep the community informed''
  12 KB (1,869 words) - 16:35, 18 March 2014
• D45 General Platform Maintenance
  ...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
• ADVANCE D3.2 General Platform Maintenance
  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

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