6. FASE 2003: Warsaw, Poland (Part of ETAPS 2003)

Keynote

Software Components

Mobile Computing

Aspect and Object-Oriented Programming

Distributed and Web Applications

Software Measurements

Formal Verification

Analysis and Testing

Model Integrations and Extensions

a service of Schloss Dagstuhl - Leibniz Center for Informatics