Abstract
This chapter introduces the four-year DEPLOY (Industrial Deployment of Advanced System Engineering Methods for High Productivity and Dependability) project to overview the context in which industrial deployment was conducted and explain how it was organised and managed.
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
References
Abrial, J.-R.: The B-Book: Assigning Programs to Meanings. Cambridge University Press, Cambridge (1996)
Abrial, J.-R.: Modeling in Event-B: System and Software Engineering. Cambridge University Press, Cambridge (2010)
Back, R., Sere, K.: Superposition refinement of reactive systems. Form. Asp. Comput. 8(3), 1–23 (1996)
DEPLOY e-prints. http://deploy-eprints.ecs.soton.ac.uk/
DEPLOY project deliverables and newsletters. http://www.deploy-project.eu/html/deliverables.html
DEPLOY project web site. http://www.deploy-project.eu/
Eclipse modeling framework. http://www.eclipse.org/emf
FP7 ADVANCE project. http://www.advance-ict.eu/
Rodin development repository. http://sourceforge.net/projects/rodin-b-sharp/
Rodin documentation wiki. http://wiki.event-b.org/index.php/Main_Page
Rodin platform. http://www.event-b.org/
RODIN project web site. http://rodin.cs.ncl.ac.uk/
Rodin tools and plug-ins. http://wiki.event-b.org/index.php/Rodin_Plug-ins
The Rodin Handbook. http://handbook.event-b.org/
Acknowledgements
I would like to express my deepest gratitude to everybody who has been involved in the preparation and implementation of the project since its idea was first discussed with Cliff Jones in April 2006. Cliff helped me enormously in negotiating and establishing DEPLOY. Martyn Thomas, who has chaired the project Board, was instrumental in steering the consortium towards its successful completion. Jon Warwick, the project Manager, has been with the team since the very first day of our work on the proposal, shielding me from dealings with various financial, legal and funding authorities.
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). Integrated Project DEPLOY. 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_2
Download citation
DOI: https://doi.org/10.1007/978-3-642-33170-1_2
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)