--- abstract: 'The work of the major EU-funded ICT DEPLOY Integrated Project (February 2008 – April 2012) on Industrial Deployment of Advanced System Engineering Methods for High Productivity and Dependability was driven by the tasks of achieving and evaluating industrial take-up, initially by DEPLOY industrial partners, of DEPLOY methods and tools, together with the necessary further research on methods and tools. Our previous SEN paper introduced the project. The project has been one of the most significant efforts focusing on understanding the issues researchers and engineers face during the deployment of formal methods. This paper briefly reports on the project legacy and provides pointers to the various sources of information produced by the projects.' accompaniment: [] book_title: ~ commentary: ~ completion_time: ~ composition_type: ~ conductors_id: [] conductors_name: [] contact_email: ~ copyright_holders: [] corp_creators: [] creators_id: - alexander.romanovsky@ncl.ac.uk creators_name: - family: Alexander given: Romanovsky honourific: '' lineage: '' data_type: ~ date: 2012 date_type: published datestamp: 2012-07-26 15:19:17 department: ~ dir: disk0/00/00/04/45 divisions: [] edit_lock_since: ~ edit_lock_until: 0 edit_lock_user: ~ editors_id: [] editors_name: [] eprint_status: archive eprintid: 445 event_dates: ~ event_location: ~ event_title: ~ event_type: ~ exhibitors_id: [] exhibitors_name: [] fileinfo: /style/images/fileicons/application_pdf.png;/445/1/ACM_SIGSOFT_SEN_DEPLOY-2012.pdf full_text_status: public funders: [] id_number: ~ importid: ~ institution: ~ isbn: ~ ispublished: pub issn: ~ item_issues_comment: [] item_issues_count: ~ item_issues_description: [] item_issues_id: [] item_issues_reported_by: [] item_issues_resolved_by: [] item_issues_status: [] item_issues_timestamp: [] item_issues_type: [] keywords: ~ lastmod: 2012-07-26 15:22:46 latitude: ~ learning_level: ~ longitude: ~ lyricists_id: [] lyricists_name: [] metadata_visibility: show monograph_type: ~ note: ~ num_pieces: ~ number: ~ official_url: http://www.sigsoft.org/SEN/ output_media: ~ pagerange: ~ pages: ~ patent_applicant: ~ pedagogic_type: ~ place_of_pub: ~ pres_type: ~ producers_id: [] producers_name: [] projects: [] publication: ACM SIGSOFT Software Engineering Notes publisher: ACM refereed: FALSE referencetext: ~ related_url_type: [] related_url_url: [] relation_type: [] relation_uri: [] rev_number: 17 series: ~ skill_areas: [] source: ~ status_changed: 2012-07-26 15:22:46 subjects: - Event-Bsemantics - deploy_industrial - deploy_method - deploy_tooldev - deploy_training succeeds: ~ suggestions: ~ sword_depositor: ~ sword_slug: ~ task_purpose: ~ thesis_type: ~ title: 'Deployment of Formal Methods in Industry: the Legacy of the FP7 ICT DEPLOY Integrated Project' type: article userid: 7 volume: 5