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