Search results
From Event-B
Jump to navigationJump to searchCreate the page "Community" on this wiki! See also the search results found.
- ...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 an7 KB (1,003 words) - 20:08, 12 October 2009
- .... ''Please contributes informations about your own development to keep the community informed''12 KB (1,869 words) - 16:35, 18 March 2014
- ...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 progress35 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 im20 KB (3,030 words) - 13:18, 18 July 2012