31. SEW 2007: Loyola College, Columbia, MD, USA

Development Methods, Issues and Patterns

Requirements

Architectural Issues

Testing and Estimation

Formal Aspects

Software Safety, Quality, and Reliability

Tools

Modeling and Verification Issues

Distributed, Grid and Real-Time Systems

a service of Schloss Dagstuhl - Leibniz Center for Informatics