8. SAM 2014: Valencia, Spain

Reuse

Availability, Safety and Optimization

Sequences and Interactions

Testing

Metrics, Constraints and Repositories

SDL and V&V

a service of Schloss Dagstuhl - Leibniz Center for Informatics