Abstract
This chapter introduces the DEPLOY ecosystem that has been created over the project lifetime and will live on after its end to ensure that its results, including the methods and tools built for it, are widely used, extended and explored, and that the community of its industrial and academic users continues to grow. This ecosystem will help reassure newcomers that the community is active, welcoming and prepared to share the knowledge and experience accumulated. The primary aim of this work was to develop support for the growing community of companies using Event-B and Rodin.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
Acknowledgements
I would like to acknowledge Thierry Lecomte’s contribution of information about the projects that use Rodin and Event-B.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Romanovsky, A. (2013). After and Outside DEPLOY: The DEPLOY Ecosystem. In: Romanovsky, A., Thomas, M. (eds) Industrial Deployment of System Engineering Methods. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-33170-1_14
Download citation
DOI: https://doi.org/10.1007/978-3-642-33170-1_14
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-33169-5
Online ISBN: 978-3-642-33170-1
eBook Packages: Computer ScienceComputer Science (R0)