Browse by author
Lookup NU author(s): Emeritus Professor Alexander RomanovskyORCiD, Jonathan Warwick
Full text is not currently available for this publication.
In the paper we discuss one of the largest ever projects on industrial deployment of formal engineering methods called DEPLOY. This 50 months FP7 Integrated Project successfully completed in May 2012, was coordinated by Newcastle University. The paper presents our experience and lessons learnt in building the project consortium, preparing the proposal and running this project. We describe in detail the motivations for the project, its objectives and scientific and technological outcomes. The DEPLOY ecosystem was created by the end of the project to ensure that its results would be widely used, extended and applied after the project end.
Author(s): Romanovsky A, Warwick J
Publication type: Report
Publication status: Published
Series Title: School of Computing Science Technical Report Series
Year: 2012
Pages: 18
Print publication date: 01/09/2012
Source Publication Date: September 2012
Report Number: 1350
Institution: Newcastle University
Place Published: Newcastle upon Tyne
URL: http://www.cs.ncl.ac.uk/publications/trs/papers/1350.pdf