Toggle Main Menu Toggle Search

Open Access padlockePrints

After and outside DEPLOY: The deploy ecosystem

Lookup NU author(s): 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.

Publication metadata

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


DOI: 10.1007/978-3-642-33170-1_14

Library holdings: Search Newcastle University Library for this item

ISBN: 9783642331701