DEPLOY: industrial deployment of advanced system engineering methods for high productivity and dependability

Authors:
Alexander Romanovsky
Affiliations:
Newcastle University, UK
Venue:
ACM SIGSOFT Software Engineering Notes
Year:
2008

Citing 1
Cited 1

Basic Concepts and Taxonomy of Dependable and Secure Computing

IEEE Transactions on Dependable and Secure Computing

Deployment of formal methods in industry: the legacy of the FP7 ICT DEPLOY integrated project

ACM SIGSOFT Software Engineering Notes

Quantified Score

Hi-index	0.00

Visualization

Abstract

The work of the new FP7 ICT DEPLOY Integrated Project (February 2008 -- January 2012) [1] is 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.