8. QSIC 2008: Oxford, UK


Invited Special Track: Formalization of UML and Design Patterns

Software Testing Process


Formal Methods

Software Testing Techniques and Methods

Static and Dynamic Analysis

Specification-Based Software Testing

Software Process and Evolution

Regression Testing and Software Reuse

Measurement, Metrics and Assessment 1

Service Orientation

Measurement, Metrics and Assessment 2

Software Architecture

Faults and Failures

Workshop on Integration of Software Engineering and Agent Technologies


a service of Schloss Dagstuhl - Leibniz Center for Informatics