CBSE 2011: Boulder, CO, USA

Deployment

Specification and analysis

Handling extra-functional properties

Verification and testing

Reliability

Evolution and adaptability

a service of Schloss Dagstuhl - Leibniz Center for Informatics