Issue (WIWE) status: Submitted, Unpublished

Weak Signal's progress: Basic

This Weak Signal came from: 
European Commission Framework Programme for RTD

The theme/scheme related to this Weak Signal: 
Theme 3 - ICT - Information & communication technologies

The sub-theme that best relates to this Weak Signal: 
Pervasive and trusted network and service infrastructure

When did the Weak Signal manifest ? 
2005-now

Weak Signal's description: 

The overall aim of the DEPLOY Project is to make major advances in engineering methods for dependable systems through the deployment of formal engineering methods. Formal engineering methods enable greater mastery of complexity than do traditional software engineering processes. It is the central role played by mechanically analysed formal models throughout the system development that enables mastery of complexity. As well as leading to big improvements in system dependability, greater mastery of complexity also leads to greater productivity by reducing the expensive test-debug-rework cycle and by facilitating increased reuse of software.