The success of key human activities ranging from research and business to everyday services relies on the use of ever more sophisticated, feature-rich and complex computer systems. These complex computer systems are regularly required to accomplish more, faster and on a broader scale, to adapt dynamically to changing workloads, scenarios and objectives, and to achieve guaranteed levels of performance and dependability. Satisfying such demanding requirements in the presence of the variability, heterogeneity and non-linear behaviour that characterise complex computer systems poses numerous challenges to both their developers and their users.
The aim of the conference is to bring together researchers, practitioners and leading experts from academia and industry, to advance the state of the art in the specification, development, validation and verification, and management of complex computer systems.
| Submissions: | February 15, 2012 |
| Notification: | March 30, 2012 |
| Event: | July 18, 2012-July 20, 2012 |