ICECCS 2012

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 — systems 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. The seventeenth edition was sponsored by the IEEE Technical Committee on Complexity in Computing (TCCX), organised under the guidance of the CESAMES non-profit organisation and held at the École Normale Supérieure in Paris.

• Requirement specification and analysis
• Verification and validation
• Model-driven development
• Reverse engineering and refactoring
• Architecture software
• Big Data Management
• Sensor Networks and Ubiquitous Computing
• Design by contract
• Agile methods
• Safety-critical & fault-tolerant architectures
• Adaptive, self-managing and multi-agent systems
• Real-time, hybrid and embedded systems
• Systems of systems
• Tools and tool integration
• Industrial case studies