creators_name: Ponsard, Christophe
creators_name: Flamand, Jacques
creators_name: Deprez, Jean-Christophe
creators_id: christophe.ponsard@cetic.be
creators_id: jacques.flamand@cetic.be
creators_id: jcd@cetic.be
type: conference_item
datestamp: 2012-03-15 09:44:26
lastmod: 2012-03-15 09:44:26
metadata_visibility: show
title: Assessment of the Evolution of the RODIN Open Source platform
ispublished: pub
subjects: deploy_tooldev
full_text_status: public
pres_type: paper
abstract: The RODIN platform is an Open Source extensible Eclipse-based IDE for Event-B that provides effective support for refinement and mathematical proof. RODIN emerged out of the RODIN FP6 Project (2004-2007). It is still actively supported by the European Commission through the Deploy FP7 project (2008-2012) and the FP7 ADVANCED project (2011-2014). Over the years RODIN has known a growing success from a usage point of view, as show by its download statistics on figure 1. However in order to assess the long term sustainability of RODIN, it is important to pay a closer look at key Open Source characteristics of the project and of the community that formed around it.
date: 2012-02-29
date_type: published
event_title: Rodin User and Developer Workshop 2012
event_location: Fontainebleau
event_dates: 28-28 February 2012
event_type: workshop
refereed: TRUE
official_url: http://wiki.event-b.org/index.php/Rodin_Workshop_2012
citation:   Ponsard, Christophe and Flamand, Jacques and Deprez, Jean-Christophe  (2012) Assessment of the Evolution of the RODIN Open Source platform.  In: Rodin User and Developer Workshop 2012, 28-28 February 2012, Fontainebleau.     
document_url: http://deploy-eprints.ecs.soton.ac.uk/377/1/CETIC-FedEvent-Rodin-Assessment-V1.pdf