8. FASE 2005: Edinburgh, UK (Part of ETAPS 2005)

Invited Contributions

Web Services

Graph Grammars and Graph Transformations

Components

Product Lines

Theory

Code Understanding and Validation

The UML

Automatic Proofs and Provers

maintained by Schloss Dagstuhl LZI at University of Trier