17th ICECCS 2012: Paris, France

Software Requirements

Software Modeling

Hardware

Software Design

Formal Methods

Programming Languages and Algorithms

Concurrency and Control

Software Monitoring and Verification

Agents and Aspects

a service of Schloss Dagstuhl - Leibniz Center for Informatics