Browse by author
Lookup NU author(s): Emeritus Professor Alexander RomanovskyORCiD
Full text for this publication is not currently held within this repository. Alternative links are provided below where available.
© 2013 Springer-Verlag Berlin Heidelberg. All rights are reserved. 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.
Author(s): Romanovsky A
Publication type: Book Chapter
Publication status: Published
Book Title: Industrial Deployment of System Engineering Methods
Year: 2013
Pages: 197-202
Online publication date: 01/07/2013
Publisher: Springer-Verlag Berlin Heidelberg
URL: https://doi.org/10.1007/978-3-642-33170-1_14
DOI: 10.1007/978-3-642-33170-1_14
Library holdings: Search Newcastle University Library for this item
ISBN: 9783642331701
